function writeThis(txt) {
  document.write(txt);
}