document.write('6710');
document.write('');