/* Code to be used in assignment 3
 *
 * Author: Carsten Butz
 * Date: September 2002
 */

  static String first(String s){
    return ""+s.charAt(0);}
 
  static String substring(String s){
    return s.substring(1);}
 
  static int length(String s){
    return s.length();}