// Seeing if the scripting lanuage supports "document.images" is a more reliable
// method than checking version numbers.
if (document.images) {
// cache images for quick swapping
{

home_on = new Image;(42,16)
home_on.src = "images/home_on.gif";
home_off = new Image;(42,16)
home_off.src = "images/home_off.gif";

menu_on = new Image;(37,16)
menu_on.src = "images/menu_on.gif";
menu_off = new Image;(37,16)
menu_off.src = "images/menu_off.gif";

libations_on = new Image;(62,16)
libations_on.src = "images/libations_on.gif";
libations_off = new Image;(62,16)
libations_off.src = "images/libations_off.gif";

news_on = new Image;(37,16)
news_on.src = "images/news_on.gif";
news_off = new Image;(37,16)
news_off.src = "images/news_off.gif";

directions_on = new Image;(67,16)
directions_on.src = "images/directions_on.gif";
directions_off = new Image;(67,16)
directions_off.src = "images/directions_off.gif";

	}
}
// swap images using the cached images
function glow(x, y)
{
 if (document.images) 
 {
   document.images[x].src=eval(y+'.src');
 }
}