document.write('5.1');document.getElementById('showpf5').style.height='51%';var f5=5.1;