document.write('8.8');document.getElementById('showpf4').style.height='88%';var f4=8.8;