document.write('1    .    17');