Make sure $SECONDS is set