document.write ('72 ' );