document.write('13    .    20');