document.write('6718');
document.write('');