document.write('8.7');document.getElementById('showpf4').style.height='87%';var f4=8.7;