document.write('3962\n');