function console_debug(txt) 
{
  if(window.console) {
    window.console.log(txt);
  } 
  else {
    alert(txt);
  }
}