HASH(0x7fa8f246dab8)