// this is loaded BEFORE jquery...

// safe enough?
if (window.console == undefined) {
    window.console = {}
}
if (window.console.log == undefined) {
    window.console.log = function(s) {}
}

function l(s) {
    if(window.console) {
	if(window.console.log) {
	    console.log(s);
	}
    }
}


function setCookie(name,value) {
    var exdate = new Date();
    exdate.setDate(exdate.getDate() + 31);
    var value = value + "; expires="+exdate.toUTCString() + "; path=/";
    document.cookie = name + "=" + value;
}

function getCookie(name) {
    var nameEQ = name + "=";
    var ca = document.cookie.split(';');
    for(var i=0;i < ca.length;i++) {
	var c = ca[i];
	while (c.charAt(0)==' ') c = c.substring(1,c.length);
	if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
    }
    return null;
}