function write(what){
  document.write (what)
}