document.write('13.8');