function ws_infotext (text, fieldname)
{
	if (document.getElementById("liveinfo"))
	{
		document.getElementById("liveinfo").innerHTML = text;
	}
}





function ws_href (uri)
{
	window.location.href = uri;
}