document.write('8    .    14');