var DOMtreeforeach_tailopt = global.tailopt(DOMtreeforeach_tail);