if  (document.images)
{
 /*preload the images */

box_border  = new Image();
box_border.src = "box_border_02.gif";

}