document.write('12.5');