function mouse_over(p_name, p_gif_neu)
{
    if (document.images[p_name])
      document.images[p_name].src = p_gif_neu
}


function mouse_out(p_name, p_gif_alt){
   if (document.images[p_name])
      document.images[p_name].src = p_gif_alt
}