TX=Kyoto 500; C=KYOTO_0500;