DECLARE

		SERVERNOTFOUND  LITERALLY '0FFFFH';  /* indicates nameserver was not found */