function o(t) {
	if ( t != "" ) {
		self.status = "found " + t;
	}	else { 
		self.status = "";  
	}
	return true;
}

function changeText(element_name, new_text)
{
	objNode = document.getElementById( element_name );
	if ( ! objNode ) return;
	objNode.replaceChild( document.createTextNode(new_text), objNode.firstChild );
}