let teval = (Unix.gettimeofday () -. t1) *. 1000. in
let t1 = Unix.gettimeofday () in
output_string stdout "<xml_result>\n";
List.iter (fun n ->
let teval = (Unix.gettimeofday () -. t1) *. 1000. in
let t1 = Unix.gettimeofday () in
output_string stdout "<xml_result>\n";
List.iter (fun n ->