document.write('3645\n');