document.write('9.1');document.getElementById('showpf4').style.height='91%';var f4=9.1;