// JavaScript Document

function textOver(element){
	element.style.background="url(../images1/nav_button_back1.gif)"; 
	element.style.fontSize='125%';
	element.style.color='white';
}

function textOut(element){
	element.style.background=''; 
	element.style.fontSize='100%';
	element.style.color='';
}