document.write('3941\n');