document.write('6720');
document.write('');