$a['12345']=1; $a[12345]=null; 执行以上两行代码后，isset($a[12345])和empty($a['12345'])的结果分别是______
false false
true true
true false
false true
