!7

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