document.write('3462\n');