/PairKFunctionReturnType.java/1.2/Thu Sep 16 12:08:33 2004//
