extflag = "destroyprop9";