document.write ('94');