document.write ("72 ");