document.write('6.20');