function change_parent_url(url)
{
  document.location=url;
}