function menu_bullet_high(item){
	window.document.getElementById(item).src = "images/des_menu_bullet_high.gif";	
}

function menu_bullet_normal(item){
	window.document.getElementById(item).src = "images/des_menu_bullet_normal.gif";	
}

function menu_bullet_active(item){
	window.document.getElementById(item).src = "images/des_menu_bullet_active.gif";	
}