function esc(s)
{
 // escape for use in tag="value" in html
 s=s.replace(new RegExp("'","g"), "'");
 s=s.replace(new RegExp('"',"g"), """);
 s=s.replace(new RegExp("<","g"), "&lt;");
 s=s.replace(new RegExp(">","g"), "&gt;");
 return s;
}