text: The area now comprising district Kotli was a subdivision of Mirpur District up to the year 1975 and was known as Kotli Mangralan .
simplified: The district of Kotli used to be a sub-division of Mirpur District until 1975 .