r9537: