:
#	pathname - get the full pathname of a file

	savdir=`pwd`
	base=`echo $1 | awk -F/ '{print $NF}'`
	cd `dirname $1`
	dir=`pwd`
	cd $savedir
	echo $dir/$base
