
    tb4.decorate(goog.dom.getElement('tb4'));
    tb4.setKeyEventTarget(goog.dom.getElement('tb4_key_target'));
    tb4.setFocusable(true);
    new goog.ui.ContainerScroller(tb4);

    goog.events.listen(goog.dom.getElement('tb4_highlight_links'),
        goog.events.EventType.CLICK,
        function(event) {
          var index = parseInt(event.target.innerHTML, 10);
          if (!isNaN(index)) {
            tb4.getChildAt(index).setHighlighted(true);
          }
        });

    goog.dom.setTextContent(