document.write('674');
document.write('');