// JavaScript Document
if (document.images) 
{
   img1 = new Image();
   img2 = new Image();
   img3 = new Image();
   img1.src = "ar_img/on.gif";
   img2.src = "ar_img/off.gif"
   img3.src = "ar_img/top_divider.gif"
}