#!/bin/bash

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