document.write('8    .    20');