r9251: