设x（下标1），x（下标2）…，x（下标16）是来自总体X的样本，且x~N（0，σ（上标2）），x，s（上标2）分别为样本均值和样本方差，若统计量4x/s~1（k），则自由度k=_____。