code: def is_cjk_punctuation(char):
      
      lower = int('0x3000', 16)
      higher = int('0x300F', 16)
      return ord(char) >= lower and ord(char) <= higher
docs: Returns true if char is a punctuation mark in a CJK language.