use the string constant that is already defined for ":"