HASH(0x7f5cb42e41d8)