HASH(0x7fedb440bce0)