let
tags_of file =
"Tags of "
^file