function formok(form)
{
	var casa = form.casa;
	var i = 0;
	// casa is a HTMLInputElement if only one checkbox exists and
	// a NodeList of HTMLInputElement otherwise
	if (casa.checked)
		return true;
	while (i < casa.length) 
		if (casa[i++].checked)
			return true;
	return false;
}
function cgoto(event,target) {
	if (event.target && event.target.nodeName == "TD" 
	   || event.srcElement && event.srcElement.nodeName == "TD")
	   document.location = target;
}