/isinstr.exp/1.1/Mon Aug 21 16:39:35 2006//
/isinstr.stp/1.1/Mon Aug 21 16:39:35 2006//
/strlen.exp/1.1/Mon Aug 21 16:39:35 2006//
/strlen.stp/1.1/Mon Aug 21 16:39:35 2006//
/substr.exp/1.1/Mon Aug 21 16:39:35 2006//
/substr.stp/1.1/Mon Aug 21 16:39:35 2006//
/text_str.exp/1.1/Mon Aug 21 16:39:35 2006//
/text_str.stp/1.1/Mon Aug 21 16:39:35 2006//
D
