document.write ('18');