document.write('0746\n');