~ [ 16000 ]"