function Encode(s)
 return scop.html.escape(s)
end