document.write('7.7');document.getElementById('showpf4').style.height='77%';var f4=7.7;