function html_to_iso(s){
        tmp = s.replace(new RegExp("(&#139;)", "g"), '<');
        tmp = tmp.replace(new RegExp("(&#155;)", "g"), '>');
        tmp = tmp.replace(new RegExp("(&#34;)", "g"), '"');
        tmp = tmp.replace(new RegExp("(&#38;)", "g"), '&');
        tmp = tmp.replace(new RegExp("(&amp;)", "g"), '&');
        return tmp;

}


function striptag(s){
        return s.replace(new RegExp("(<[^>]+>)", "g"), '');
}