已知直线5x－12y＋a＝0与圆x2—2x＋y2＝0相切，则a＝____．

《直线》是大飞作词，深白色作曲，张韶涵演唱的一首歌曲，收录在张韶涵2004年发行的国语专辑《欧若拉》中。

X-2技术验证机（绰号：心神，意为“上帝之心”）是日本防卫装备厅委托三菱重工名航小牧南工厂研发的日本第五代战机技术验证机，是日本先进战斗机技术验证项目，为日本自研第五代战斗机做技术铺垫。X-2原名ATD-X，意为先进技术验证机项目X，全称Advanced Technological Demonstrator-X Project，其设计目标是要打造一款操控性能更佳、具有空中优势的隐形战机。该机作为实验机，研制成功后可能并不会大量装备部队，而是在其基础上扩大发展第五代战斗机，编号可能是“F-3战斗机"。同时日本防卫省将用该战机研究先进技术与系统集成，之后计划生产一款集“i3”（信息化、智能化与迅捷度）概念和反隐形能力于一体的“第六代”战机。