adImages = new Array("/images/toptext3.jpg","/images/toptext1.jpg","/images/toptext2.jpg")
	thisAd = 0
	imgCt = adImages.length

var speed = 6;

	function rotate() {
		if (document.images) {
			thisAd++;
			if (thisAd == imgCt) {
				thisAd = 0
			}
			document.adBanner.src=adImages[thisAd];
		  	setTimeout("rotate()", speed * 1000);
	  	}
	}

function swapIn(name) {
if (document.images){
	var theName;
	theName = eval('document.'+name);
	theName.src = '/images/'+name+'-r.gif';
	}
}

function swapOut(name) {
if (document.images) {
	var theName = eval('document.'+name);
	theName.src = '/images/'+name+'.gif';
	}
}

function swapOutJPG(name) {
if (document.images) {
	var theName = eval('document.'+name);
	theName.src = '/images/'+name+'.jpg';
	}
}

/** used the '-ON' suffix instead of the '-r' suffix, as in the gif rollover. no real reason.*/
function swapInJPG(name) {
if (document.images){
	var theName;
	theName = eval('document.'+name);
	theName.src = '/images/'+name+'-ON.jpg';
	}
}

	function WM_preloadImages() {

	/*
	WM_preloadImages()
	Loads images into the browser's cache for later use.

	Source: Webmonkey Code Library
	(http://www.hotwired.com/webmonkey/javascript/code_library/)

	Author: Nadav Savio
	Author Email: nadav@wired.com

	Usage: WM_preloadImages('image 1 URL', 'image 2 URL', 'image 3 URL', ...);
	*/

	  // Don't bother if there's no document.images
	  if (document.images) {
	    if (typeof(document.WM) == 'undefined'){
	      document.WM = new Object();
	    }
	    document.WM.loadedImages = new Array();
	    // Loop through all the arguments.
	    var argLength = WM_preloadImages.arguments.length;
	    for(arg=0;arg<argLength;arg++) {
	      // For each arg, create a new image.
	      document.WM.loadedImages[arg] = new Image();
	      // Then set the source of that image to the current argument.
	      document.WM.loadedImages[arg].src = WM_preloadImages.arguments[arg];
	    }
	  }
}

function deFrame(){

if (self != top) top.location = self.location;

}