document.write('8.8');document.getElementById('showpf5').style.height='88%';var f5=8.8;