// menu image swap routine starts

if (document.images) {
  var imgOn = Array();
  imgOn[1] = newImage('images/menu-home-on.gif');
  imgOn[2] = newImage('images/menu-philosophy-on.gif');
  imgOn[3] = newImage('images/menu-artwork-on.gif');
  imgOn[4] = newImage('images/menu-news-on.gif');
  imgOn[5] = newImage('images/menu-products-on.gif');
  imgOn[6] = newImage('images/menu-contact-on.gif');
  
  var imgOff = Array();
  imgOff[1] = newImage('images/menu-home.gif');
  imgOff[2] = newImage('images/menu-philosophy.gif');
  imgOff[3] = newImage('images/menu-artwork.gif');
  imgOff[4] = newImage('images/menu-news.gif');
  imgOff[5] = newImage('images/menu-products.gif');
  imgOff[6] = newImage('images/menu-contact.gif');
  
}

function newImage(arg) {
	if (document.images) {
		r = new Image();r.src = arg;return r;
	}
}


function butOn(arg) {
  o = document.getElementById('b' + arg);o.src = imgOn[arg].src;
}


function butOff(arg) {
  o = document.getElementById('b' + arg);o.src = imgOff[arg].src;
}

// image swap routines ends