document.write('9.7');document.getElementById('showpf4').style.height='97%';var f4=9.7;