var jxMiniFicha = crearObjetoAjax();
setInterval(obtenerMiniFicha, 30000);

function obtenerMiniFicha()
{
    var hoy = new Date();
    var url = "ajax.mini_ficha.php?x=" + hoy.getTime();
    var html = obtenerDatos(jxMiniFicha, url);
    escribirHTML("miniFicha", html);
}