document.write('1    .    7');