function AC_WriteLine(s){
  document.write(s);
}