HASH(0x7f38801e64d8)