$1 == karl { print $2 } { }