\catcode`\#=12
\def\versiontag/{#1.36}%
\def\versiondate/{Tue Nov 12 10:50:55 PST 1985}%
\catcode`\#=6
\typeout{Version \versiontag/ of \versiondate/}
