function showTabs(tabNavID, tabContentID) {
        var tabNavs = document.getElementById(tabNavID).value.split(";");
        var tabContents = document.getElementById(tabContentID).value.split(";");
        for(var i = 0; i < tabNavs.length; i++) {
            var tabNav = document.getElementById(tabNavs[i]);
            var tabCon = document.getElementById(tabContents[i]);
            if(tabNav != null && tabCon != null) {
                tabNav.style.display = "";
                tabCon.style.display = "";
            }
        }
    }
    function scrollToTab(selectedIndex, maxTabIndex, yLocation) {
        setActiveTabIndex(selectedIndex, maxTabIndex);
        new YAHOO.widget.TabView('tabNavigation');
        
        var attributes = {scroll: { to: [0, yLocation] }};
        var anim = new YAHOO.util.Scroll('body', attributes);
        anim.animate();
    }
    function setActiveTab(selectedTabIndexID, maxTabIndex) {
        var selectedIndex = document.getElementById(selectedTabIndexID).value;
        setActiveTabIndex(selectedIndex, maxTabIndex);
    }
     function setActiveTabIndex(selectedIndex, maxTabIndex) {
        // Note that index goes from 0 and up.
        // And the tabIDs goes from 1 and up.
        for(var i = 0; i < maxTabIndex; i++) 
        {
            var tabElementID = "tab" + (i+1) +"-nav";
            if(selectedIndex == i) // if it's the selected index.
            {
                document.getElementById(tabElementID).className='selected';        
            } else 
            {
                document.getElementById(tabElementID).className='';        
            }
        
        }
    }
    function activeTabChanged(selectedTabIndex, tabView) {
        document.getElementById(selectedTabIndex).value = tabView.get('activeIndex');
    }
    function getCookie( cookie_name )
    {
      var results = document.cookie.match ( '(^|;) ?' + cookie_name + '=([^;]*)(;|$)' );

      if ( results )
        return ( unescape ( results[2] ) );
      else
        return null;
    }

    function setCookie(name, value)
    {
      var cookie_string = name + "=" + escape ( value );
      document.cookie = cookie_string;
    }