// JavaScript Document
// Created by Patrick Himes on 8/22/07

function MM_menuToggleColor(elementName, color){
	//set element background color
	//requires mm_css_menu.js 
	MM_menuHideMenus();
	MM_menuResetTimeout();
	var e = document.getElementById(elementName);
	e.style.backgroundColor = color;
}
function replaceText(elementName, str){
	var e = document.getElementById(elementName);
	e.innerHTML = str;	
}