#! /bin/csh
if ($#argv != 1) then
	echo "**** edit file name (fe f_hp_mr3(?????).asm) ***"
	exit
endif
te f_hp_mr3$argv[1].asm
