extflag = "prop9";