extflag = "prop11";