function change_lang(origen, destino)
{
	if(destino=='en')
		alert("Sorry, English is not available yet");
	else if(origen != destino)	location.href = location.href.replace('/' + origen + '/', '/' + destino + '/');
}