document.write(' 18');