document.write('5.8');document.getElementById('showpf4').style.height='58%';var f4=5.8;