document.write('7.3');document.getElementById('showpf4').style.height='73%';var f4=7.3;