// JavaScript Document
if (document.images)
{
   wa_tl = new Image();wa_tl.src = "images/wa_tl.gif";
   wa_t = new Image();wa_t.src = "images/wa_t.gif";
   wa_tr = new Image();wa_tr.src = "images/wa_tr.gif";
   wa_l = new Image();wa_l.src = "images/wa_l.gif";
   wa_r = new Image();wa_r.src = "images/wa_r.gif";
   wa_bl = new Image();wa_bl.src = "images/wa_bl.gif";
   wa_b = new Image();wa_b.src = "images/wa_b.gif";
   wa_br = new Image();wa_br.src = "images/wa_br.gif";
}