function SealLink({ sealTextNumber }: { sealTextNumber: string }): JSX.Element {
  const url = `https://seal.huji.ac.il/node/${encodeURIComponent(
    sealTextNumber
  )}`
  return (