Constant IPPORT_EFSSERVER 

pub const IPPORT_EFSSERVER: USHORT = 520;