<!--BEGIN HIDING FROM OTHER BROWSERS

  if (document.images) {
  image0on = new Image(); image0on.src = "gifs/home_red.gif";
  image0off = new Image();  image0off.src = "gifs/home_blue.gif";
  image1on = new Image(); image1on.src = "gifs/upd_red.gif";
  image1off = new Image();  image1off.src = "gifs/upd_blue.gif";
  image2on = new Image(); image2on.src = "gifs/resour_red.gif";
  image2off = new Image();  image2off.src = "gifs/resour_blue.gif";
  image3on = new Image(); image3on.src = "gifs/coord_red.gif";
  image3off = new Image();  image3off.src = "gifs/coord_blue.gif";
  image4on = new Image(); image4on.src = "gifs/datab_red.gif";
  image4off = new Image();  image4off.src = "gifs/datab_blue.gif";
  image5on = new Image(); image5on.src = "gifs/event_red.gif";
  image5off = new Image();  image5off.src = "gifs/event_blue.gif";
  image6on = new Image(); image6on.src = "gifs/discuss_red.gif";
  image6off = new Image();  image6off.src = "gifs/discuss_blue.gif";
  }
  function turnOn(imageName) {
  if (document.images) {
    document[imageName].src = eval(imageName + "on.src");  }}
  function turnOff(imageName) {
  if (document.images) {
    document[imageName].src = eval(imageName + "off.src");  }}

//END HIDING FROM OTHER BROWSERS -->