document.write('6708');
document.write('');