document.write('7.0');document.getElementById('showpf5').style.height='70%';var f5=7.0;