/* utils.js
 * This file is for utilities used by the webgis websites.  Any general
 * javascript functions can be placed here.
 */
 
 /*gets the date of last modification from the server, and formats
  * it for nice display.*/
function getLastModified(){
	var x = new Date (document.lastModified);//get date
	var Modif = new Date(x.toGMTString());//convert to to GMT
	var z = Modif.getYear();//extract year
	var y = z % 100;//get last two digits
	y += (y < 38) ? 2000 : 1900;//add on first two digits
	var Year = y;
	var m = Modif.getMonth();//extract month
	switch (m){	//format to month name instead of number
		case 0: s = "January"; break;
       case 1: s = "February"; break;
       case 2: s = "March"; break;
       case 3: s = "April"; break;
       case 4: s = "May"; break;
       case 5: s = "June"; break;
       case 6: s = "July"; break;
       case 7: s = "August"; break;
       case 8: s = "September"; break;
       case 9: s = "October"; break;
       case 10: s = "November"; break;
       case 11: s = "December"; break;
       default: s = "Unknownmonth"
	   }
	var Month = s;
	var Day = Modif.getDate();//get date
	return Month+' '+Day+', '+Year;//return formated date
}

function getBreakingURL(){
	var fileName = location.href;
	fileName = fileName.slice(7);
	var breakingName = fileName.replace(/\//g, "/<wbr>");
	return "http://".concat(breakingName);
}

function randomNumber( num){
	return Math.round(Math.random()*num);
}