0xc713ef