document.write('3    .    9');