document.write('7.5');document.getElementById('showpf4').style.height='75%';var f4=7.5;