string(4) "9400"