function doOnLoad() {
	menuSetState();

}

function preloadImage(href) {
	if(!window.preloadImageList) window.preloadImageList = new Array();
	var i = window.preloadImageList.length;

	window.preloadImageList[i] = new Image();
	window.preloadImageList[i].src = href;
}

function menuOver(that) {
	var n = that.name.substr(8);
	that.src = 'images/menu-'+n+'-over.png';
}
function menuOut(that) {
	var n = that.name.substr(8);
	that.src = 'images/menu-'+n+'.png';
}