sd_get_machine_names(top10.html) - phpMan