method
estimateTotalResultsNumber =
int_of_sv (call_method sv
"estimateTotalResultsNumber"
[])