function setElementClassName(id, className)
	{
		obj = document.getElementById(id);
		if (! obj)
			return;
		obj.className = className;
	}

	function setElementStyle(id, name, value)
	{
		obj = document.getElementById(id);
		if (! obj)
			return;
		obj.style[name] = value;
	}