if (typeof(console) == "undefined") {
    scriptElt = new Element("script");
    scriptElt.type = "text/javascript";
    scriptElt.src = "javascript/pi.js";
    $("consoleLoader").insert({after: scriptElt});
    var scriptElt = new Element("script");
    scriptElt.type = "text/javascript";
    scriptElt.src = "javascript/firebugx.js";
    $("consoleLoader").insert({after: scriptElt});
}