if (!("console" in window) || !("firebug" in console))
{
    var names = ["log", "debug", "info", "warn", "error", "assert", "dir", "dirxml",
    "group", "groupEnd", "time", "timeEnd", "count", "trace", "profile", "profileEnd"];

    /*var div = document.createElement("div");
    div.style.position="absolute";
    div.style.top = "0px";
    div.style.left = "0px";
    div.style.border = "2px solid #ff0000";
    document.body.appendChild(div);*/

    window.console = {};
    for (var i = 0; i < names.length; ++i)
        window.console[names[i]] = function(str) {
    	//div.innerHTML += names[i] + ": " +  str + "\n";
    }
}