extern	int	_asgetticket(int, char*, char*);
extern	int	_asreadn(int, char*, int);
extern	int	_asrdfile(char*, char*, int);
extern	int	_asrdresp(int, char*, int);