20180726 city.noida: Senior AIIMS doctor to head Noida child hospital