function IEOutput(theText){
  document.write(theText);
}