export const article16: string;