//-------------------------------------------------------------------------
//  JavaScript utilities
//
//
//
//-------------------------------------------------------------------------


function decrloc(val) {
  var i = 0;
  if (i < val.length) {
    var r = '';
    var v = new String(val);
    do {
      r = r + String.fromCharCode(0xFF - parseInt(v.substr(i, 3), 10));
      i = i + 3;
    } while (i < val.length);
    window.location.href = r;
  }
}