// JScript File

function cambiaLocal(nombre, tel, ubicacion)
{
document.getElementById("nombreLocal").innerHTML = nombre;
document.getElementById("tel_local").innerHTML = tel;
document.getElementById("ubicacion_local").setAttribute("title",ubicacion);

}