document.write('3967\n');