document.write('3    .    19');