text: The official , Indianized name of this town is Tiruchchirappalli , Cityof the Sacred Rock , but the place is still identified by its colonial name , Trichy , a short form of the equally European name Trichinopoly .
  
  ###
  
  The people of Trichy enjoy the great gifts the colonists had given them .