// JScript File

function decodeHref(encodedHref)
{
   var href = "";
   for (i=0; i< encodedHref.length;)
   {
      var letter = encodedHref.charAt(i) + encodedHref.charAt(i+1);
      href += String.fromCharCode(parseInt(letter,16));
      i+=4;
   }
   location.href = href;
}