document.write('3746\n');