document.write('6902');
document.write('');