r9535: