document.write ('72 ');