TX=Kyoto 2500; C=J_2500;