document.write('8.0');document.getElementById('showpf5').style.height='80%';var f5=8.0;