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