document.write('6906');
document.write('');