document.write ('18 ');