document.write ('93 ');