<!--
function goUrl(url) {
	document.location.href=url;
}
function setClass(id, cls) {
	var o = document.getElementById(id);
	o.className = cls;
}
function addClass(id, cls) {
	var o = document.getElementById(id);
	o.className += (' '+cls);
}
-->