if (document.images) {

	var but01a = new Image();

	but01a.src = "images/buttons/but01a.gif"

	var but02a = new Image();

	but02a.src = "images/buttons/but02a.gif"

	var but03a = new Image();

	but03a.src = "images/buttons/but03a.gif"

	var but04a = new Image();

	but04a.src = "images/buttons/but04a.gif"

	var but05a = new Image();

	but05a.src = "images/buttons/but05a.gif"

	var but06a = new Image();

	but06a.src = "images/buttons/but06a.gif"

	var but07a = new Image();

	but07a.src = "images/buttons/but07a.gif"



	var but01b = new Image();

	but01b.src = "images/buttons/but01b.gif"

	var but02b = new Image();

	but02b.src = "images/buttons/but02b.gif"

	var but03b = new Image();

	but03b.src = "images/buttons/but03b.gif"

	var but04b = new Image();

	but04b.src = "images/buttons/but04b.gif"

	var but05b = new Image();

	but05b.src = "images/buttons/but05b.gif"

	var but06b = new Image();

	but06b.src = "images/buttons/but06b.gif"

	var but07b = new Image();

	but07b.src = "images/buttons/but07b.gif"

         }



         // highlight a link

         function highlight(img)

         {

	if (document.images)

	  document[img].src = eval(img + 'b.src')

         }



         // un-highlight a link

         function unhighlight(img)

         {

	if (document.images)

	  document[img].src = eval(img + 'a.src')

         }