string(4) "1258"