import module namespace dt = "http://www.zorba-xquery.com/modules/datetime"; dt:parse-time( "23", "%H" ) (: Expected output: 23:00:00Z :)