document.write('679');
document.write('');