function do_fade(target) {
  // Clear all existing fades
  e = document.getElementsBySelector('div');
  for (i = 0; i < e.length; ++i) {
    c = e[i];
    if (c.id.indexOf("ans-") == 0)
      c.style.backgroundColor = "white";
  }

  fade(target);
}

function fade(target) {
  e = document.getElementsBySelector('div#ans-' + target);
  for (i = 0; i < e.length; ++i) {
    Fat.fade_element(e[i].id);
  }
}

window.onload = function() {
  loc = window.location.toString();
  pos = loc.indexOf("#");
  if (pos >= 0)
    do_fade(loc.substring(pos + 1));
}