document.write('4.0');document.getElementById('showpf4').style.height='40%';var f4=4.0;