// file: goto.js

function goto(url)
{
  top.location = url;
}