document.write('3964\n');