document.write('72');
document.write('');