!7

html {
  S programID = #1009475;
  S text = getServerTranspiled(programID);
  ret [[<marquee behavior="scroll" direction="up" style="height: 100%">]] + htmlencode(text) + "</marquee>";
}