HASH(0x7fedc257e720)