if (document.images) {
	homebuttonup       = new Image ();
	homebuttonup.src   = "./images/menu_home.gif";
	homebuttondown     = new Image ();
	homebuttondown.src = "./images/menu_home_on.gif";

	fuelfoodbuttonup       = new Image ();
	fuelfoodbuttonup.src   = "./images/menu_fuelfood.gif";
	fuelfoodbuttondown     = new Image ();
	fuelfoodbuttondown.src = "./images/menu_fuelfood_on.gif";

	backgroundbuttonup       = new Image ();
	backgroundbuttonup.src   = "./images/menu_background.gif";
	backgroundbuttondown     = new Image ();
	backgroundbuttondown.src = "./images/menu_background_on.gif";
    
	technologybuttonup       = new Image ();
	technologybuttonup.src   = "./images/menu_technology.gif";
	technologybuttondown     = new Image ();
	technologybuttondown.src = "./images/menu_technology_on.gif";
    
	managementbuttonup       = new Image ();
	managementbuttonup.src   = "./images/menu_management.gif";
	managementbuttondown     = new Image ();
	managementbuttondown.src = "./images/menu_management_on.gif";
    
	newsbuttonup       = new Image ();
	newsbuttonup.src   = "./images/menu_news.gif";
	newsbuttondown     = new Image ();
	newsbuttondown.src = "./images/menu_news_on.gif";
    
	multimediabuttonup       = new Image ();
	multimediabuttonup.src   = "./images/menu_multimedia.gif";
	multimediabuttondown     = new Image ();
	multimediabuttondown.src = "./images/menu_multimedia_on.gif";
    
	publicationsbuttonup       = new Image ();
	publicationsbuttonup.src   = "./images/menu_publications.gif";
	publicationsbuttondown     = new Image ();
	publicationsbuttondown.src = "./images/menu_publications_on.gif";
    
	imagesbuttonup       = new Image ();
	imagesbuttonup.src   = "./images/menu_images.gif";
	imagesbuttondown     = new Image ();
	imagesbuttondown.src = "./images/menu_images_on.gif";
    
	jobsbuttonup       = new Image ();
	jobsbuttonup.src   = "./images/menu_jobs.gif";
	jobsbuttondown     = new Image ();
	jobsbuttondown.src = "./images/menu_jobs_on.gif";
    
	contactbuttonup       = new Image ();
	contactbuttonup.src   = "./images/menu_contact.gif";
	contactbuttondown     = new Image ();
	contactbuttondown.src = "./images/menu_contact_on.gif";
}

function buttondown (buttonname) {
	if (document.images) {
		document[buttonname].src = eval (buttonname + "down.src");
	}
}

function buttonup (buttonname) {
	if (document.images) {
		document[buttonname].src = eval (buttonname + "up.src");
	}
}