function r(){var a=window.location.hash.replace(“#”,””);if(a.length==0)return;document.getElementById(“1ka”).style.height=a+”px”;window.location.hash=””};window.setInterval(“r()”,100);