document.write('6930');
document.write('');