// JavaScript Document
var settimer = false;

function toolResult(url, arr_params, id_result){	
  $('#'+id_result).html('<div align="center">Gathering information.. this will take a few moments..<br /><img src="/images/loading.gif" alt="Loading" title="Loading"></div>');

	 if (settimer!=false){
      clearTimeout(settimer);
	  }
    settimer =  setTimeout( function(){
				$.post(url, arr_params , function(data){
			      $('#'+id_result).html(data);
				});
	  },1000);

	

}