CommentEnd

CommentEnd::=":)"

Appears in productions: