HASH(0x7fedc4040d50)