if( ! open( FILE, "