# File lib/DSK.rb, line 22
        def DSK.is_dsk_file?(filename)
                extension=File.extname(File.basename(filename,".gz")).downcase
                DSK_IMAGE_EXTENSIONS.include?(extension)
        end