function highlightTab(A){}function unhighlightTab(A){};