function update_software_versions(){
 if (http.readyState == 4) { 
   page_text = http.responseText;
   document.getElementById('software_versions').innerHTML = page_text;
 } 
}
function get_software_versions(IDsoftware,os_type) {
    
  document.getElementById('software_versions').innerHTML = '<p>en cours de chargement</p>';
  
  http.open("GET", "/wck_get_software_versions.php?IDsoftware="+IDsoftware+"&os_type="+os_type, true); 
  http.onreadystatechange = update_comments; 
  http.send(null);

  return false;
}