function jmpPI(loc, yr)
{
  if(yr != 0){ window.location.href = loc + '?yr=' + yr; }
}

function ddYear(yr)
{
  ln = document.f1.yr.length;
  
  for(i=0; i<ln; i++)
  {
    if(document.f1.yr[i].value == yr)
	{
	  document.f1.yr[i].selected = true;
	  break;
	}
  }
}