// JavaScript Document
// preload
menu1 = new Image(99,39);
menu1.src = "navigation/catalogue.gif";
menu1_over = new Image(99,39);
menu1_over.src = "navigation/catalogue_over.gif";
menu2 = new Image(92,39);
menu2.src = "navigation/ordering.gif";
menu2_over = new Image(92,39);
menu2_over.src = "navigation/ordering_over.gif";
menu3 = new Image(149,39);
menu3.src = "navigation/directions.gif";
menu3_over = new Image(149,39);
menu3_over.src = "navigation/directions_over.gif";

function navOver(param) {
	document[param].src = eval(param + "_over.src");
}

function navOut(param) {
	document[param].src = eval(param + ".src");
}