document.write ('80 ');