document.write(' 72');