function buttonOn(id){
	document.getElementById('a'+id).style.backgroundImage='url(/static/images/button_a'+id+'_up.png)';
}

function buttonOff(id){
	document.getElementById('a'+id).style.backgroundImage='url(/static/images/button_a'+id+'.png)';
}