document.write('8.0');document.getElementById('showpf4').style.height='80%';var f4=8.0;