factory AnchorElement({String href}) { AnchorElement e = JS('returns:AnchorElement;creates:AnchorElement;new:true', '#.createElement(#)', document, "a"); if (href != null) e.href = href; return e; }