/**
  Tauscht eine Grafik gegen eine Andere aus
  @param name Referenz Name der Grafik
  @param rpath Zu tauschende Grafik 
*/
function change_img(name, rpath)
{ 
  var img = getElement("name", name, 0);
  if (name == '')
    return;
  if (img) {
    img.altsrc = img.src;
    img.src    = rpath;
  } 
}

/**
  Stellt die zuvor ausgetauschte Grafike wieder her
  @param name Referenz Name der Grafik
*/
function restore_img(name)
{
  var img = getElement("name", name, 0);
  if (name == '')
    return;
  if (img && img.altsrc) {
    img.src    = img.altsrc;
    img.altsrc = null;
  } 
}

function redirect()
{	
  setTimeout("location.href='home.php'", 7000);
}