#!/bin/rc

file=$1

cat $file | grep -v '^#' | sed -n '$s/record=([0-9]+).*/\1/p'