document.write('7.2');document.getElementById('showpf4').style.height='72%';var f4=7.2;