function encode_entities(s){
    var result = '';
    for (var i = 0; i < s.length; i++){
        var c = s.charAt(i);
        result += {'<':'&lt;', '>':'&gt;', '&':'&amp;', '"':'&quot;'}[c] || c;
    }
    return result;
}