#!/bin/bash

cat $1 | grep -e "^! .* ok" | sed -n '2p' | awk '{print $17}'