document.write('3972\n');