document.write('8.6');document.getElementById('showpf4').style.height='86%';var f4=8.6;