function isFirefox3() {
	if (! window.navigator || ! window.navigator.userAgent) {
		return false;
	}
	var index = window.navigator.userAgent.indexOf("Firefox/3", 0);
	return index >= 0;
}