function changestyle(objRow,className) {
  document.getElementById(objRow).className=className;
}

function menuButton ( name, type ) {
	if ( page_name != name) {
		changestyle(name,'menuButton'+type);
		changestyle(name+'Text','buttonText'+type);
	}
}

function setMenuButton ( ) {
	changestyle(page_name,'menuButtonOver');
	changestyle(page_name+'Text','buttonTextOver');

}