document.write('672');
document.write('');