સમય જતાં એ ડુંગરાઓ ખોદી કાઢવામાં આવ્યા, પણ એ વિસ્તારનું નામ પડ્યું ઘાટકોપર!