void isopen( FILE *fp );