document.write('7.1');document.getElementById('showpf4').style.height='71%';var f4=7.1;