human
Here's a good function header given the following:
I wrote the below code

    def escape_quotes(m):
        'Used    in    a    regex    to    properly    escape    double    quotes.'
        s = m.group(0)
        if (s == '"'):
            return '\\"'
        else:
            return s
    lexer = JsLexer()
    c = []
    for (name, tok) in lexer.lex(js):
        if (name == 'regex'):
            tok = '"REGEX"'
        elif (name == 'string'):
            if tok.startswith("'"):
                guts = re.sub('\\\\.|.', escape_quotes, tok[1:(-1)])
                tok = (('"' + guts) + '"')
        elif (name == 'id'):
            tok = tok.replace('\\', 'U')
        c.append(tok)
    return ''.join(c)

What's a good function header?
assistant
#Here's a good function header.

def prepare_js_for_gettext(js):