document.write ("71 ");