function getElement(id){
	return document.getElementById(id);
}
//用于修改点击后的导航条的背景颜色和字体颜�?
function changeBackground(id){
	var element = getElement(id);
	element.getElementsByTagName("a")[0].style.color='#2b74a3';
	//var elementStyle = element.style;
	//elementStyle.background='url(images/change_bg.jpg)';
	
}
function submitForm(id){
   getElement(id).submit(); 
}