Note que si tiene la extensión NoScript de Firefox instalada, puede necesitar configurarla para permitir scripts desde la localización en la cual está cargando HolaMundo.