> man what's the question?

obviously, the question is: "what's 54 in base 13?"