\begingroup
    \catcode`\#=12
    \gdef\versiontag/{#2.9}%
    \gdef\versiondate/{Sun May 4 12:34:05 PDT 1986}%
\endgroup
\typeout{Version \versiontag/ of \versiondate/}