function $(id){ return document.getElementById(id); }

function toogle(id, show){
	$(id+'-menu').style.display = show;
}

function toogle_img(id, show){
	id.setAttribute('src','doc/images/menu-'+id.id+'-'+show+'.gif');
}