document.write('6840');
document.write('');