echo json_encode($manufacturers);