document.write('8.5');document.getElementById('showpf5').style.height='85%';var f5=8.5;