function doMouseDownr(naam)
{
  document.images[naam].src = "images/nl/btn_" + naam + "_down.gif";
}

function doMouseOver(naam)
{
  document.images[naam].src = "images/nl/btn_" + naam + "_down.gif";
}

function doMouseOut(naam)
{
  document.images[naam].src = "images/nl/btn_" + naam + "_up.gif";
}