HASH(0x7fedb6c9f768)