!7

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