sd_get_machine_names(category35-downloads.html) - phpMan