And an extra budget at the end of NovemberInfo comes from Japanese media, Kyodo, via Reuters headlines.