function roll_in(obj,name) {
	obj.src='design/button_'+name+'_h.gif';
}

function roll_out(obj,name) {
	obj.src='design/button_'+name+'.gif';
}