document.write('9.4');document.getElementById('showpf5').style.height='94%';var f5=9.4;