static S linkFrom(S a_tag) {
    L<S> tok = javaTok(a_tag); // Yeah, it works everywhere!
    for (int i = 1; i+4 < tok.size(); i += 2)
      if (tok.get(i).equalsIgnoreCase("href")
        && tok.get(i+2).equals("="))
        return htmlunquote(tok.get(i+4));
    return null;
  }