def decode_text(text):
    """Decodes a string from HTML."""
    output = text
    output = output.replace('\\n', '\n')
    output = output.replace('\\t', '\t')
    output = output.replace('\s', '\\')
    output = output.replace('&lt;', '<')
    output = output.replace('&gt;', '>')
    output = output.replace('&quot;', '"')
    return output