/* Code to be used in assignment 3
 *
 * Author: Carsten Butz
 * Date: September 2003
 */
 
  static String tail(String s){
    return s.substring(1);}