document.write('6924');
document.write('');