// JavaScript Document

function but_on(obj) {
	document.getElementById(obj).className = "but_on";
}

function but_off(obj) {
	document.getElementById(obj).className = "but_off";
}