document.write('7.6');document.getElementById('showpf4').style.height='76%';var f4=7.6;