document.write('14.20');