document.write('6944');
document.write('');