HASH(0x7f5caf1bb2d0)