function trace(msg){
//console.log(msg);
}

function redirect_to(url){
  document.location.href=url;
}