HASH(0x7f5cc07c7d68)