let tags_of file = "Tags of "^file