Ответ:

Расстояние между точками на координатной прямой равно модулю разности их координат:

\(EF=|12-5|=7\).

Ответ: 7.