var PGRS00 = new HttpClient();
    PGRS00.isAsync = true;
    PGRS00.callback = function(result) { 
	                                     document.getElementById('PGRS00').innerHTML = result;
									   }
    function replacePGRS00(page)   {
	                                    PGRS00.makeRequest(page,null);
                                       }