Un registro del historial comienza con un número de secuencia seguido del comando, por ejemplo, 895 ls. ¿Qué programa de awk extrae el nombre del comando?