document.write(’18’);