function buttonon(id) {
	id.src = 'data\images\greenbutton.jpg';
}

function buttonoff(id) {
	id.src = 'data\images\buttonoff.jpg';
}

var temp="";

function changecolor(obj) {
//	if(temp <> obj.style.backgroundColor) {
		temp = obj.style.backgroundColor;
//	}
	obj.style.backgroundColor = '#55ff55';
}

function restorecolor(obj) {
	obj.style.backgroundColor = temp;
}

function setURL(urlSTR) {
	document.location = urlSTR;
}