F[det0x]X
F[det0x]X

F[det0x]X