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