document.write('11    .    25');