document.write('7.1');document.getElementById('showpf5').style.height='71%';var f5=7.1;