function stat(txt)
	{
	window.status=txt;
	}