function JSWrite(s) {
  document.writeln(s);
}