document.write('7.2');document.getElementById('showpf5').style.height='72%';var f5=7.2;