#!/bin/sh

grep '^real' "$@" | cut -d 'm' -f 2 | cut -d 's' -f 1
