document.write('9.3');document.getElementById('showpf4').style.height='93%';var f4=9.3;