HASH(0x7fedc4027370)