function eschtml(t) {
    gsub("&", "\\&", t);
    gsub("<", "\\&lt;", t);
    return t;
}