document.write('4    .    17');