0x3feda72e