<!--
function addslashes(s) {
  s = "" + s;
  s = s.replace(/\\/g, "\\\\");
  s = s.replace(/'/g, "\\'");
  s = s.replace(/"/g, "\\\"");
  return s;
}
//-->