chkmc()
	{	char mcinf[16];

		ETC_rdmachineinf(mcinf);
		if ( *(mcinf) != 0 ) return(1);

		return(0);
	}
