do {} while (); 

#if GREASEMONKEY

storage = { get: GM_getValue, set: GM_setValue };
$= unsafeWindow.jQuery;
token_newreply = unsafeWindow.token_newreply;

#endif
#ifdef CHROME

storage = { 
    set: window.localStorage.setItem,
    get: function( a, b){
        //window.console.log("a: "+a);
        a = window.localStorage.getItem( a);
        return a !== null ? a : b;
    }
};
$= window.jQuery;
token_newreply = /token_newreply\s+=\s+'(\w+)'/i.exec(document.documentElement.innerHTML)[1],

#endif

getMonthNumber: function (month)
	{
		switch (month)
		{
			case "Januar":
				return 0;
			case "Februar":
				return 1;
			case "März":
			case "März":
				return 2;
			case "April":
				return 3;
			case "Mai":
				return 4;
			case "Juni":
				return 5;
			case "Juli":
				return 6;
			case "August":
				return 7;
			case "September":
				return 8;
			case "Oktober":
				return 9;
			case "November":
				return 10;
			case "Dezember":
				return 11;
		}
	},

var months = {
	"Januar" : 0,
	"Feburar": 1,
	.
	.
}