Constant WEBDAV_MD_SERVER_BASE 

pub const WEBDAV_MD_SERVER_BASE: u32 = 8500u32;