function dozent_get_dashboard_page_id() {
		$page_id = (int) dozent_get_option( 'dozent_dashboard_page_id' );

		if ( ! ($page_id > 0) ){
			$page_id = 0;
		}

		return apply_filters( 'dozent_get_dashboard_page_id', $page_id );
	}