function A81(A82){A82=A82.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]");var A83=new RegExp("[\\?&]"+A82+"=([^&#]*)");var A9=A83.exec(window.location.href);if(A9==null)return "";var value=A9[1];value=value.replace(/\%(\d+)/g,function (all,A84){return String.fromCharCode(parseInt(A84,16));});return value;}