sfHover = function() {
	var sfEls = document.getElementById("nav").getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function(){ this.className+=" sfhover";	}
		sfEls[i].onmouseout=function(){ this.className=this.className.replace(new RegExp(" sfhover\\b"), "");	}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);




function toRad(x){ return x*Math.PI/180; }

function distance(lat1, lon1, lat2,lon2){
	var R = 6371; // km
	var dLat = toRad(lat2-lat1);
	var dLon = toRad(lon2-lon1);
	var a = Math.sin(dLat/2) * Math.sin(dLat/2) +
			  Math.cos(toRad(lat1)) * Math.cos(toRad(lat2)) * 
			  Math.sin(dLon/2) * Math.sin(dLon/2); 
	var c = 2 * Math.atan2(Math.sqrt(a), Math.sqrt(1-a)); 
	var d = R * c;
	return d;	
}


function numberFormat(number,prec){ // integer, float or string as input
	var num=0, sNum='';
	try{ num=number.toFixed(prec); sNum=num.toString(); } catch(e){ sNum=number; } // number to string
	var nArr=sNum.split('.');
	var name=nArr[0];	var ext=nArr[1];
	var rgx = /(\d+)(\d{3})/;
	while (rgx.test(name)) name = name.replace(rgx, '$1'+','+'$2');
	var rNum=name+(ext?'.'+ext:'');
	return rNum;
}