#!/bin/bash

set -eu

NIST_DIR=$(dirname $0)
ROOT=${NIST_DIR}/..

version=$(cat ${ROOT}/VERSION)
echo ${version//[^0-9]/}