// Rollover script.

function rollover (name, state) {

  if (window.document.images) {
    if (state) {
      window.document.images[name].src = "/images/nav/" + name +
	"-white.gif";
    } else {
      window.document.images[name].src = "/images/nav/" + name +
	"-grey.gif";
    }
  }
}