Properties.idr 12.5 KB