document.write('7.0');document.getElementById('showpf4').style.height='70%';var f4=7.0;