function hoverit(name) {
	document.getElementById('button_'+name).src = 'images/button_'+name+'_focused.gif';
}

function unhoverit(name) {
	document.getElementById('button_'+name).src = 'images/button_'+name+'.gif';
}