!7

html {
  ret ai_randomString();
}