document.write('18    .    15');