function menu_act(id) {
	var el = document.getElementById(id);
	if (!el) return;
	el.style.background = 'url(' + prefix + '/img/dot.gif) no-repeat bottom center';
}
function menu_deact(id) {
	var el = document.getElementById(id);
	if (!el) return;
	el.style.backgroundImage = 'none';
}
function table(id) {
	document.getElementById(id).style.background = 'url(' + prefix + '/img/dot.gif) no-repeat middle center';
}