/KValueCalculator.java/1.13/Tue Nov 23 12:27:26 2004//
/MarkerKVariable.java/1.6/Tue Sep 21 11:07:36 2004//
