灰叶猴也叫哈努曼叶猴。