var old_img_url;

function menu_activate(referer_anchor){
	old_img_url = referer_anchor.childNodes[1].src;
	referer_anchor.childNodes[1].src = old_img_url+".active.png";
}

function menu_deactivate(referer_anchor){
	referer_anchor.childNodes[1].src = old_img_url;
}