红红用 表示13，那么 表示。