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