urls_downloaded_cb({"token":"systemclock","urls":[{"url":"additional/design/clocks.html#clock-implementations","node_type":"p","context":{"gi-language":["default"]}},{"url":"additional/design/synchronisation.html#running-time","node_type":"p","context":{"gi-language":["default"]}}]});