document.write('0742\n');