document.write('6.0');document.getElementById('showpf4').style.height='60%';var f4=6.0;