18.18 WAVFULLNAME

Prints full filename including path for a waveform file by searching directories and databases specified in SEISAN.DEF. Filename is to be given on prompt line, e.g. wavfullname 1996-06-13-1248-15S.NSN__003.