document.write('4    .    7');