#	Copy 25 files from a tape into a file "output.file"
##########################################################################

	*call	tapedmp	output.file
		25		/dev/tape	# tape device name

##########################################################################