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