// JavaScript Document
function switchLang(lang) {
		var curLoc = window.location;
		var langs = Array();
		langs[0] = 'en';
		langs[1] = 'es';
		langs[2] = 'fr';
		langs[3] = 'it';
		langs[4] = 'pr';
		for (var i=0; i<5; i++) {
			if ( (""+curLoc).indexOf('/'+langs[i]+'/')  != -1) {
				var newLoc = (""+curLoc).replace('/'+langs[i]+'/', '/'+lang+'/');
				window.location = newLoc;
			}
		}
	}