1function initTabs()
2{
3    var url = window.location.href;
4    if(url.indexOf('_Source_')!=-1 || url.indexOf('#Source')!=-1)
5    {
6        var tab1 = document.getElementById('BinaryID');
7        var tab2 = document.getElementById('SourceID');
8        tab1.className='tab disabled';
9        tab2.className='tab active';
10    }
11    var sets = document.getElementsByTagName('div');
12    for (var i = 0; i < sets.length; i++)
13    {
14        if (sets[i].className.indexOf('tabset') != -1)
15        {
16            var tabs = [];
17            var links = sets[i].getElementsByTagName('a');
18            for (var j = 0; j < links.length; j++)
19            {
20                if (links[j].className.indexOf('tab') != -1)
21                {
22                    tabs.push(links[j]);
23                    links[j].tabs = tabs;
24                    var tab = document.getElementById(links[j].href.substr(links[j].href.indexOf('#') + 1));
25                    //reset all tabs on start
26                    if (tab)
27                    {
28                        if (links[j].className.indexOf('active')!=-1) {
29                            tab.style.display = 'block';
30                        }
31                        else {
32                            tab.style.display = 'none';
33                        }
34                    }
35                    links[j].onclick = function()
36                    {
37                        var tab = document.getElementById(this.href.substr(this.href.indexOf('#') + 1));
38                        if (tab)
39                        {
40                            //reset all tabs before change
41                            for (var k = 0; k < this.tabs.length; k++)
42                            {
43                                document.getElementById(this.tabs[k].href.substr(this.tabs[k].href.indexOf('#') + 1)).style.display = 'none';
44                                this.tabs[k].className = this.tabs[k].className.replace('active', 'disabled');
45                            }
46                            this.className = 'tab active';
47                            tab.style.display = 'block';
48                            // window.location.hash = this.id.replace('ID', '');
49                            return false;
50                        }
51                    }
52                }
53            }
54        }
55    }
56    if(url.indexOf('#')!=-1) {
57        location.href=location.href;
58    }
59}
60if (window.addEventListener) window.addEventListener('load', initTabs, false);
61else if (window.attachEvent) window.attachEvent('onload', initTabs);