打ち上げタダ券の予算はどこから出てくるのだろうか