function write(msg){
    document.write(msg);
  }