extflag = "prop12";