function resize_background (page_width)
 {var hintergrund = get_element ("bgr_id");
  if (page_width < 600)
   {hintergrund.background = "Linie-2.gif";}
  else
   {hintergrund.background = "Linie-1.gif";}}