How long was a lesothosaurus?

Can you answer this question?