[amibroker] How can I get the highest high between a certain timeframe on the chart?

[nvesta81]

Let's say I want to get the highest high value on my intraday chart 
between 9:30am and 9:35am, how would I go about writing this in a 
formula? 

Is this possible? Thanks.