#!/bin/sh
FILE=$1;

egrep -e '[0-9]{9,}' $FILE | head