//sollte im body onload eingebunden werden
function scroll_div (element_id,x, y) 
{
  // Verweis auf das Element über seine ID ermitteln.
  //
  //var element = document.getElementById (element_id);

  //element.scrollTo(x,y);
  //alert(element.scale);
  //element.scrollBy(100,300);
}