//
function checkNull(str)
{
	return !(str!=null && str!=undefined && str!='');
}

function log(exc)
{
}

function logold(exc)
{
	if (exc == null) exc = 'null';
	if (exc == undefined) exc = 'undefined';
	if (!Object.isString(exc)) exc = ''+exc;
	if ($('debug_log')==undefined)
	{
		$$('html body')[0].insert(new Element('div',{'id':'debug_log'}));
	}
	var logdiv = new Element('div',{'style':'border-top:1px solid #dddddd;color:white'});
	logdiv.update(exc.escapeHTML());
	$('debug_log').insert(logdiv);
	logdiv = null;
}