function changeNavMenuBackground(el) {
	el.style.backgroundImage = 'url(_gfx/navigation-background_over.gif)';
}

function resetNavMenuBackground(el) {
	el.style.backgroundImage = 'url(_gfx/navigation-background.gif)';
}