function writeStr(str) {
  document.write(str);
}