/******************************* RSH ***********************************/

var locUrl = window.location.href;

window.dhtmlHistory.create({
        toJSON: function(o) {
                return Object.toJSON(o);
        }
        , fromJSON: function(s) {
                return s.evalJSON();
        }
});

document.observe("dom:loaded", function(){
	dhtmlHistory.initialize();
	if(dhtmlHistory.isFirstLoad()){
		if(locUrl.indexOf('#Location:') > -1){
			var relStart = locUrl.indexOf('#Location:');
			var RelEnd = locUrl.indexOf('-Url:', relStart);
			newUrl = locUrl.substring(RelEnd + 5);
			window.location.href = newUrl;
		}
	}
});

/******************************* END: RSH ******************************/