function redirect(url)
    {
  window.location.replace(url);
    }
    
function trim(str)
{
 str = str.replace(/^\s+/g,"");
 str = str.replace(/\s+$/g,"");
 return str;
}

function pop_end_action()
{
  windows.close();
  opener.focus();
}