document.write('5.2');document.getElementById('showpf4').style.height='52%';var f4=5.2;