<!--


function flush_view(obj) {
	document.write (obj);
}


-->