function _gel( id )
{
    return document.getElementById( id );
}


RegExp.escape = function(t)
{
    return t.replace(/[-[\]{}()*+?.,\\^$|#\s]/g, "\\$&");
};

String.prototype.replaceAll=function(s1, s2)
{
    return this.replace(new RegExp( RegExp.escape(s1),'g'), s2);
};

//function sessionScopedSocketCloseListener( code )
//{
//    logIt(' Websocket closed code=' + code );
//}

function initLog()
{
	if (!window.console)
		console = {};

	console.log = console.log || function(){};
}


function logIt( m )
{
	console.log( m );
}