document.write('5.0');document.getElementById('showpf4').style.height='50%';var f4=5.0;