document.write('9.5');document.getElementById('showpf5').style.height='95%';var f5=9.5;