document.write('18    .    19');