document.write('6870');
document.write('');