function changeImage(id,on){
	if (on){	
		document.getElementById(id).src = '/gfx/buttons/'+ id + '_down.gif';
	} else {
		document.getElementById(id).src = '/gfx/buttons/'+ id + '_up.gif';
	}
}