navigation-api/navigation-history-entry/resources/is_uuid.js

function isUUID(key) {
  return /[a-f0-9]{8}-[a-f0-9]{4}-4[a-f0-9]{3}-[89aAbB][a-f0-9]{3}-[a-f0-9]{12}/.test(key);
}