def mirc_format(s):
    """ 
    Replaces mIRC-Codes (for example ^K for Strg+K for colors) with the corresponding chars 
    """
    s = s.replace("^B", chr(0x02))
    s = s.replace("^K", chr(0x03))
    s = s.replace("^R", chr(0x0f))
    return s;