1 15 1 3 2
 2 18 4 6 5
 3 19 7 8 9
 4 23 10 2 11
 5 25 18 17 16

3
 5
 2
 18

15 3
 18 5
 19 0
 23 2
 25 18

19 0

a=( $(grep -e '14,12|:*' File0 | cut -b 9-17) )

grep -Fwf File2 File1

awk 'FNR==NR {arr[$1];next} $1 in arr' File2 File1