HASH(0x7fedd65a8670)