sd_get_machine_names(pdf.php) - phpMan