var uagent = navigator.userAgent.toLowerCase();

if (document.referrer != "http://www.ocf.berkeley.edu/~gordeon/mini/") {
	if((navigator.userAgent.match(/iPhone/i)) || (navigator.userAgent.match(/iPod/i))) {
		location.href='mini/';
	}	
	else if (uagent.search("blackberry") > -1) {
		location.href='mini/';
	}
	else if (uagent.search("opera mini") > -1) {
		location.href='mini/';
	}
}