function input_filter(text){
 text = text.replace(/"/g, "\"") ;
 text = text.replace(/'/g, "\\'") ;
 return text ;
}