file extension of design files: .des