function TabChangeLead(num, tabElemName, boxElemName )
{
  var toplevel = 6;
  var bottomlevel = 5;
  var selectedTabId = tabElemName + num;
  var selectedBoxId = boxElemName + num;
  var i = 7;
  while( i != 11 )
  {
    var tabId = tabElemName + i;
    var boxId = boxElemName + i;
    if( GetElement( tabId ) != null )
    {
      GetElement( tabId ).className = "tab";
      GetElement( boxId ).style.zIndex = bottomlevel;
      if (i == num) 
      {
        GetElement( selectedTabId ).className = "selectedTab";
        GetElement( selectedBoxId ).style.zIndex = toplevel;
      }
    }
    i++;
  } 
}