!7

html {
  if (!webAuthed()) ret "Not authed";
  ret serveText(text_tenSecondProfile());
}