document.write('67');
document.write('');