// gets name/value map from HTML tag
static Map htmlgetparams(S tag) {
L tok = javaTok(tag);
new Map map;
for (int i = 1; i+6 < tok.size(); i += 2) {
if (tok.get(i+2).equals("=")) {
map.put(tok.get(i), htmlunquote(tok.get(i+4)));
i += 4;
}
}
return map;
}