document.write('71    .    74');