HASH(0x7f5cac27c5e8)