document.write ('71 ');