// Javascript support

/* Prepare the path for same file in both German and French.
   This allows a "generic" switch between languages when hitting
   the German, French or English flag in the header */

url = document.URL;
last_slash = url.lastIndexOf(url.charAt(url.indexOf(":")+1) );
filename = url.substring(last_slash+1);
path = url.substring(0, last_slash-2);
de_url = path + "de/" + filename; // path for German files
fr_url = path + "fr/" + filename; // path for French files
en_url = path + "en/" + filename; // path for English files

/* Format a date as MM YYYYY */

function FormatDate(dateObj) {
	var months = new Array(13);
	months[1] = "Jan";
	months[2] = "Feb";
	months[3] = "Mar";
	months[4] = "Apr";
	months[5] = "May";
	months[6] = "Jun";
	months[7] = "Jul";
	months[8] = "Aug";
	months[9] = "Sep";
	months[10] = "Oct";
	months[11] = "Nov";
	months[12] = "Dec";
	
	month_index = dateObj.getMonth() + 1;
	year = dateObj.getFullYear();
	formattedDate = months[month_index] + " " + year;
	
	return formattedDate;
}