document.write(' 72 ');