// List the domains pointing to this directory as an array of
//   domainname - the name of the domain that will use this page as it's main index
//	 domainsubdir - the directory that is the domain's primary subdirectory (i.e. use
//			the index file in this directory as the main. If this is null, then this file
//			will be the main index file.
var domainlist = new Array(
	new Array("carmelvalleyfun.com", null),
	new Array("carmelvalleyfiesta.com", "fiesta"),
	new Array("santasflyin.com", "santasflyin")
	);
// Check if this domain is in this list, and replace this url if it should be redirected
for (i=0; i < domainlist.length; i++) {
	if ( ((domainlist[i][0] == document.domain) || ("www."+domainlist[i][0] == document.domain))
	     && (domainlist[i][1] != null) ) 
	{
		document.location.replace("http://"+document.domain+"/"+domainlist[i][1]+"/");
	}
}