HASH(0x7f5cae52db50)