document.write('3706\n');