Similarly, some bus and train timetables show 00:00 as departure time and 24:00 as arrival time. Legal contracts often run from the start date at 00:00 until the end date at 24:00. While the 24-hour notation unambiguously distinguishes between midnight at the start (00:00) and end (24:00) of any given date, there is no commonly accepted distinction among users of the 12-hour notation. Style guides and military communication regulations in some English-speaking countries discourage the use of 24:00 even in the 24-hour notation, and recommend reporting times near midnight as 23:59 or 00:01 instead.<ref name=acp121>"Communication instructions – General ", Allied Communications Publication ACP 121(I), page 3–6, Combined Communications-Electronics Board, October 2010</ref> Sometimes the use of 00:00 is also avoided. In variance with this, the correspondence manual for the United States Navy and United States Marine Corps formerly specified 0001 to 2400.<ref name="http://www.marforres.marines.mil/Portals/116/Docs/G-1/AAU/AAUDocuments/CORRESPONDENCE%20MANUAL.pdf">SECNAV M-5216.5 Department of the Navy Correspondence Manual dated March 2010, Chapter 2, Section 5 Paragraph 15. Expressing Military Time.</ref> The manual was updated in June 2015 to use 0000 to 2359.<ref></ref>  Time-of-day notations beyond 24:00 (such as 24:01 or 25:00 instead of 00:01 or 01:00) are not commonly used and not covered by the relevant standards. However, they have been used occasionally in some special contexts in the United Kingdom, France, Spain, Canada, Japan, South Korea, Hong Kong, and China where business hours extend beyond midnight, such as broadcast television production and scheduling. In most countries, computers by default show the time in 24-hour notation. For example, Microsoft Windows and macOS activate the 12-hour notation by default only if a computer is in a handful of specific language and region settings. The 24-hour system is commonly used in text-based interfaces. POSIX programs such as ls default to displaying timestamps in 24-hour format. In American English, the term "military time" is a synonym for the 24-hour clock.<ref></ref> In the US, the time of day is customarily given almost exclusively using the 12-hour clock notation, which counts the hours of the day as 12, 1, ..., 11 with suffixes "a.m." and "p.m." distinguishing the two diurnal repetitions of this sequence.