function doNav(target)
{
  location.href = target;
}