// This JavaScript was generated by El Scripto from A Big Lime. For more information visit www.elscripto.com.
function jump(aHref,targetFrame)
{
  if (aHref != "")
    {
      if (targetFrame == "_blank")
        {
          window.open(aHref);
        } else {
        targetFrame.location = aHref;
      }
    }
}