let h1 t = h '=' t