$result); echo json_encode($data); } dba_close($dbID);