function campus_popup()
 {
	mywindow = window.open ("flash_campus.html", "Campus","location=0,status=0,scrollbars=0, width=765,height=440");
	mywindow.moveTo(0,0);
 }
function swap(obj,img, activate)
{
	var onOff="";
	var flip=true;
	if(activate)
	{
		onOff="On";
	}
	else
	{
		if(id==img)
			flip=false;
	}
	
	if(flip)
		obj.src="images/butons/M"+img+onOff+".gif";
}

function Preload(){
MM_preloadImages('images/butons/M133On.gif','images/butons/M22On.gif','images/butons/M33On.gif','images/butons/M4On.gif','images/butons/M5On.gif','images/butons/M6On.gif','images/butons/M7On.gif','images/butons/M8On.gif','images/butons/M9On.gif','images/butons/M10On.gif','images/butons/M11On.gif','images/butons/M12On.gif','images/butons/M13On.gif','images/butons/M14On.gif','images/butons/M15On.gif','images/butons/M16On.gif','images/butons/M17On.gif','images/butons/M18On.gif','images/butons/M19On.gif','images/butons/M20On.gif','images/butons/M21On.gif','images/butons/M222On.gif','images/butons/M23On.gif','images/butons/M24On.gif','images/butons/M25On.gif');
}

function MM_preloadImages() {
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}



var requiredVersion = 8;   // Version the user needs to view site (max 9, min 2)

var useRedirect = false;    // Flag indicating whether or not to load a separate

                           // page based on detection results. Set to true to

                           // load a separate page. Set to false to embed the

                           // movie or alternate html directly into this page.

                           

// Only set next three vars if useRedirect is true...

var flashPage   = ""    // The location of the flash movie page

var noFlashPage = ""  // Page displayed if the user doesn't have the

                                  // plugin or we can't detect it.

var upgradePage = ""  // Page displayed if we detect an old plugin

// =============================================================================







// *************

// Everything below this point is internal until after the BODY tag.

// Do not modify! Proceed to the BODY tag for further instructions.

// *************



// System globals

var flash2Installed = false;    // boolean. true if flash 2 is installed

var flash3Installed = false;    // boolean. true if flash 3 is installed

var flash4Installed = false;    // boolean. true if flash 4 is installed

var flash5Installed = false;    // boolean. true if flash 5 is installed

var flash6Installed = false;    // boolean. true if flash 6 is installed

var flash7Installed = false;    // boolean. true if flash 7 is installed

var flash8Installed = false;    // boolean. true if flash 8 is installed

var flash9Installed = false;    // boolean. true if flash 9 is installed

var maxVersion = 9;             // highest version we can actually detect

var actualVersion = 0;          // version the user really has

var hasRightVersion = false;    // boolean. true if it's safe to embed the flash movie in the page

var jsVersion = 1.0;            // the version of javascript supported

// Check the browser...we're looking for ie/win

var isIE  = (navigator.appVersion.indexOf("MSIE") != -1) ? true : false;    // true if we're on ie

var isWin = (navigator.appVersion.toLowerCase().indexOf("win") != -1) ? true : false; // true if we're on windows





// This is a js1.1 code block, so make note that js1.1 is supported.

jsVersion = 1.1;



// Write vbscript detection on ie win. IE on Windows doesn't support regular

// JavaScript plugins array detection.

if(isIE && isWin){

  document.write('<SCR' + 'IPT LANGUAGE=VBScript\> \n');

  document.write('on error resume next \n');

  document.write('flash2Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.2"))) \n');

  document.write('flash3Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.3"))) \n');

  document.write('flash4Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.4"))) \n');

  document.write('flash5Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.5"))) \n');  

  document.write('flash6Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.6"))) \n');  

  document.write('flash7Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.7"))) \n');

  document.write('flash8Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.8"))) \n');

  document.write('flash9Installed = (IsObject(CreateObject("ShockwaveFlash.ShockwaveFlash.9"))) \n');

  document.write('<\/SCR' + 'IPT\> \n'); // break up end tag so it doesn't end our script

}

function detectFlash() {  

  // If navigator.plugins exists...

  if (navigator.plugins) {

    // ...then check for flash 2 or flash 3+.

    if (navigator.plugins["Shockwave Flash 2.0"]

        || navigator.plugins["Shockwave Flash"]) {



      // Some version of Flash was found. Time to figure out which.

      

      // Set convenient references to flash 2 and the plugin description.

      var isVersion2 = navigator.plugins["Shockwave Flash 2.0"] ? " 2.0" : "";

      var flashDescription = navigator.plugins["Shockwave Flash" + isVersion2].description;



      // DEBUGGING: uncomment next line to see the actual description.

      // alert("Flash plugin description: " + flashDescription);

      

      // A flash plugin-description looks like this: Shockwave Flash 4.0 r5

      // We can get the major version by grabbing the character before the period

      // note that we don't bother with minor version detection. 

      // Do that in your movie with $version or getVersion().

      var flashVersion = parseInt(flashDescription.substring(16));



      // We found the version, now set appropriate version flags. Make sure

      // to use >= on the highest version so we don't prevent future version

      // users from entering the site.

      flash2Installed = flashVersion == 2;    

      flash3Installed = flashVersion == 3;

      flash4Installed = flashVersion == 4;

      flash5Installed = flashVersion == 5;

      flash6Installed = flashVersion == 6;

      flash7Installed = flashVersion == 7;

      flash8Installed = flashVersion == 8;

      flash9Installed = flashVersion >= 9;

    }

  }

  

  // Loop through all versions we're checking, and

  // set actualVersion to highest detected version.

  for (var i = 2; i <= maxVersion; i++) {  

    if (eval("flash" + i + "Installed") == true) actualVersion = i;

  }

  

  // If we're on msntv (formerly webtv), the version supported is 4 (as of

  // January 1, 2004). Note that we don't bother sniffing varieties

  // of msntv. You could if you were sadistic...

  if(navigator.userAgent.indexOf("WebTV") != -1) actualVersion = 4;  

  

  // DEBUGGING: uncomment next line to display flash version

  // alert("version detected: " + actualVersion);





  // We're finished getting the version on all browsers that support detection.

  // Time to take the appropriate action.



  // If the user has a new enough version...

  if (actualVersion >= requiredVersion) {

    // ...then we'll redirect them to the flash page, unless we've

    // been told not to redirect.

    if (useRedirect) {

      // Need javascript1.1 to do location.replace

      if(jsVersion > 1.0) {

        // It's safe to use replace(). Good...we won't break the back button.

        window.location.replace(flashPage);  

      } else {

        // JavaScript version is too old, so use .location to load

        // the flash page.

        window.location = flashPage;

      }

    }



    // If we got here, we didn't redirect. So we make a note that we should

    // write out the object/embed tags later.

    hasRightVersion = true;                

  } else {  

    // The user doesn't have a new enough version.

    // If the redirection option is on, load the appropriate alternate page.

    if (useRedirect) {

      // Do the same .replace() call only if js1.1+ is available.

      if(jsVersion > 1.0) {

        window.location.replace((actualVersion >= 2) ? upgradePage : noFlashPage);

      } else {

        window.location = (actualVersion >= 2) ? upgradePage : noFlashPage;

      }

    }

  }

}



detectFlash();  // call our detector now that it's safely loaded.