function go (url)
{
  location.href = url;
}