// Contents
//

   if (document.images)
	{
	rep = new Image;
        org = new Image;
        rep.src = "dec/d2.gif";
        org.src = "dec/d1.gif";
	}
   else
	{
	rep = ""; org = ""; document.a = "";
      document.b = ""; document.c = "";
	document.d = ""; document.e = "";
	document.f = ""; document.g = "";
	document.h = ""; document.i = "";
      document.j = "";
	}

// end