document.write('7    .    6');