// JavaScript Document

// ---	domain redirects
thisURL 	= document.URL;
domain 		= 'http://' + location.hostname; 
if (	domain != "http://www.jofa.org" && 
		domain != "http://dev.jofa.org" && 
		domain != "http://blog.jofa.org" 
		) {
	if ( domain == "http://www.jofadev.com" || domain == "http://jofadev.com" ) {
		top.location = "http://dev.jofa.org";
	} else {
		top.location = "http://www.jofa.org";
	}
}