!7

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