int		DSK_dskf(char drv);
void	DSK_getExtName(char *fname,char *extName);
void	DSK_changeExtName(char *fname,char *ext);
void	DSK_toupperFileName(char *fname);
void	DSK_tolowerFileName(char *fname);
char	DSK_getDrive(char *fname);