function htmlspecialchars(char) {
    char = char.replace(/&/g,"&") ;
    char = char.replace(/"/g,""") ;
    char = char.replace(/'/g,"'") ;
    char = char.replace(/</g,"&lt;") ;
    char = char.replace(/>/g,"&gt;") ;
    return char ;
}