выдрать из лога время

[mouserok]

Добрый день
есть лог из которого выдираю время

Код: [Выделить]

head log.log -n3 | awk '{print $1}' | cut -d , -f1 | sed 's/://g'но не всегда первая строка содержит время
это может быть вторая или третья строка
как это учесть?? например если получил не формат времени, то вычитать следующую строку и так далее
Пользователь решил продолжить мысль 30 Октября 2012, 11:07:05:сам отвечу )))

Код: [Выделить]

head log.log -n10 | awk '{print $1}' | cut -d , -f1 | sed 's/://g' | grep -E \'^[0-9]\'