document.write('0905\n');