let
shortname cp =
String
.concat
":"
cp
#
get_name