HASH(0x7f5cc0d41d30)