how about: `ga.push(['_trackEvent', 'Docs Navigator', 'Open', '<page-url>']);`?