
	// Handle bookmarks.
	var here = document.location + '';
	if(here.indexOf('#') > -1) {
		var start = (here.indexOf('#') > -1) ? (here.indexOf('#') + 1) : 0;
		var end = (here.indexOf('-') > -1) ? here.indexOf('-') : here.length;
		if (start > 0) {
			document.location = '/' + here.substring(start, end).replace(/\_/g, '/');
		}
	}