document.write('9.0');document.getElementById('showpf5').style.height='90%';var f5=9.0;