document.write('0754\n');