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