(012) jeq #0x258 jt 13 jf 18