// JavaScript Document
if (document.images)
{
   tl = new Image();tl.src = "images/tl.gif";
   t = new Image();t.src = "images/t.gif";
   tr = new Image();tr.src = "images/tr.gif";
   l = new Image();l.src = "images/l.gif";
   r = new Image();r.src = "images/r.gif";
   bl = new Image();bl.src = "images/bl.gif";
   b = new Image();b.src = "images/b.gif";
   br = new Image();br.src = "images/br.gif";
}