document.write('3944\n');