#!/bin/bash
get_integer()
{
	# use: get_integer <def_int> <var_int>
	local idef test temp
	idef=$1
	test=$2
	if [ ! -z $test ] ; then
		temp=$(echo "$test" | grep -E -v "^[0-9]*$")
		[ -z "$temp" ] && idef=$test
	fi
	echo -n "$idef"
}
[ "$(basename $0 sh)" = "get_integer" ] && get_integer $@