<!-- IF SYMBOLS_TABS -->
<!-- INCLUDEJS @v12mike_symbols/js/symbols.js -->
<!-- ENDIF -->