20170530 city.pune: 12 developers; 900 agents on Real Estate Regulatory Authority site