function goto(location)
{
  window.location = location;
}