export const envelope24F: string;