document.write('18    .    17');