# @(#)patchnum	1.3 18 Feb 1991 17:09:51
PATCH_NUMBER=20
PATCH_DATE=18-feb-91
