document.write('8.5');document.getElementById('showpf4').style.height='85%';var f4=8.5;