Original: So a time might appear as either "134730" in the basic format or "13:47:30" in the extended format.
Simplified: The basic ISO time is:.