function select_url(x)
{
  location=x;
}