// JavaScript Document

if (document.images) {
  pic1= new Image(2,100); 
  pic1.src="/images/menu_grad.gif"; 

  pic2= new Image(2,100); 
  pic2.src="/images/menu_grad_hover.gif"; 

  pic3= new Image(2,100); 
  pic3.src="/images/menu_grad_white.gif"; 

  pic4= new Image(10,5); 
  pic4.src="/images/down_arrow.gif"; 

  pic4= new Image(175,11); 
  pic4.src="/images/round_top.gif"; 

  pic4= new Image(175,1); 
  pic4.src="/images/round_bottom.gif"; 
}