// JavaScript Document
function button(id, state) {
	var s = document.getElementById(id).src;
	s = '/art/buttons/' + id;
	if (state) s += '_m';
	s += '.gif';
	document.getElementById(id).src = s;
}