/* * Copyright 2001 Sun Microsystems, Inc. All rights reserved. * Use is subject to license terms. */ #ifndef lint static char patchlevel[] = "@(#) patchlevel 7.6 97/03/21 19:27:23"; #endif