HASH(0x7f5ceaa81d00)