document.write('0740\n');