Which is correct? Ash-hadu anna lā ilāha illallāhu (with anna mushaddad) or Ash-hadu al lā ilāha illallāhu (with an)