// JavaScript Document
                    <!--

                    // Preload the on states of the tabs for quicker response

                    image_tab1 = new Image();
                    image_tab1.src = "images/tab1.gif";
                    
                    image_tab2 = new Image();
                    image_tab2.src = "images/tab2.gif";

                    image_tab3 = new Image();
                    image_tab3.src = "images/tab3.gif";

                    image_tab4 = new Image();
                    image_tab4.src = "images/tab4.gif";

                    // Pass in the random frequencies of the tabs

                    var tab1_freq = 25; var tab2_freq = 50; var tab3_freq = 75; var tab4_freq = 100;

                    // Random Equation which determines which tab to show
                    var randomColoredTab;
                    var randomColoredSeed = Math.ceil(100*Math.random(100));
                    if (randomColoredSeed <= tab1_freq) {
                    randomColoredTab = 'tab1';
                    } else if (randomColoredSeed <= tab2_freq) {
                    randomColoredTab = 'tab1';
                    } else if (randomColoredSeed <= tab3_freq) {
                    randomColoredTab = 'tab1';
                    } else if (randomColoredSeed <= tab4_freq) {
                    randomColoredTab = 'tab1';
                    } else {
                    randomColoredTab = 'tab1';
                    }

                    // Function which actually swaps tabs
                    function changeColoredTab (tabname) {
                    document.getElementById('tab_tab1').style.display = 'none';
                    document.getElementById('tab_tab2').style.display = 'none';
                    document.getElementById('tab_tab3').style.display = 'none';
                    document.getElementById('tab_tab4').style.display = 'none';
			  document.getElementById('tab_'+tabname).style.display = 'block';
                    
			  document.getElementById('tabnav_tab1').src = 'images/tab1a.gif';
                    document.getElementById('tabnav_tab2').src = 'images/tab2a.gif';
                    document.getElementById('tabnav_tab3').src = 'images/tab3a.gif';
                    document.getElementById('tabnav_tab4').src = 'images/tab4a.gif';
                    document.getElementById('tabnav_'+tabname).src = 'images/'+tabname+'.gif';
                    }
                    -->