function highlight_state(state)
{
  filename = "/images/us_completed/" + state + ".png";
  document.state_overlay_image.src = filename;
  return;
}

function unhighlight_state(state)
{
  filename="/images/us_completed/image_map.gif";
  document.state_overlay_image.src = filename;
  return;
}