// 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; }