document.write('7.7');document.getElementById('showpf5').style.height='77%';var f5=7.7;