document.write('10.0');document.getElementById('showpf4').style.height='100%';var f4=10.0;