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