var regio = new Array();
regio["noord"]     = new Image(); regio["noord"].src = "gfx/regio_noord.gif";
regio["zuid"]      = new Image(); regio["zuid"].src = "gfx/regio_zuid.gif";
regio["oost"]      = new Image(); regio["oost"].src = "gfx/regio_oost.gif";
regio["noordwest"] = new Image(); regio["noordwest"].src = "gfx/regio_noordwest.gif";
regio["zuidwest"]  = new Image(); regio["zuidwest"].src = "gfx/regio_zuidwest.gif";

function regio_over(r) {
  document.images["regio"].src = regio[r].src;
}

function regio_out() {
  document.images["regio"].src = "gfx/regio_nederland.gif";
}