// JavaScript Document

// Función para el cambio de idioma de la página
function lang(tipo) {
	var d = new String(document.location);
	// Quitarle los parametros GET
	if (d.indexOf("?") > -1) {
		d = d.substr(0, d.indexOf("?"));
	}
	switch (tipo) {
		case 0:
			document.location='index.php';
			break; 
		case 1:
			document.location='index_ing.php';
			break;
		case 2:
			document.location='index_fr.php';
			break;
	} // switch
} // function lang