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

function changeImages() {
	if (document.images && (preloadFlag == true)) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = changeImages.arguments[i+1];}}}

var preloadFlag = false;
function preloadImages() {
	if (document.images) {
		menu_5_over = newImage("images/menu_5-over.gif");
		menu_4_over = newImage("images/menu_4-over.gif");
		menu_3_over = newImage("images/menu_3-over.gif");
		menu_2_over = newImage("images/menu_2-over.gif");
		preloadFlag = true;}}