document.write('7.5');document.getElementById('showpf5').style.height='75%';var f5=7.5;