document.write('80');
document.write('');