document.write('10    .    23');