document.write('9.4');document.getElementById('showpf4').style.height='94%';var f4=9.4;