Change time format DBA-80

Hi! I recently changed the battery in my casio DBA-80 and now I can't figure out how to change the 12h time format on my DBA-80 back to 24h format. The manual i found online does not even mention it.