function over(id)
{
	document.getElementById(id).src = '/img/'+id+'_on.gif';
}
function out(id)
{
	document.getElementById(id).src = '/img/'+id+'.gif';
}