You mean HTTRACK would NOT recognise the url in the
javascript ?  
I propose to have detected url=([^;]*); and extract the
proper url like this from the javascript. 
Maybe more flexible is when - like the filter - one could
specify regular expressions that will allow to dynamically
extract .