est-ce que $HOLO est au-dessus de 0.259 ?