[!:HHHHH?HHHH&HHHHH0[!:  }
\