function menu_change(o, over) {
	var src = 'images/buttons/' + o.alt + '_';
	src += over?'on':'off';
	src += '.jpg';
	o.src = src;
}