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