document.write('3    .    7');