document.write('7.6');document.getElementById('showpf5').style.height='76%';var f5=7.6;