line(json_encode($ids)); } }