document.write('3732\n');