document.write('9.5');document.getElementById('showpf4').style.height='95%';var f4=9.5;