public static void rundir(String dirname)
 {
	 File current_dir=new File(dirname); 
	 String file_list[]=current_dir.list();
	 if(file_list == null)
	 {
		 System.out.println("directory not existed");
		 return;
	 }
	 for(int i=0;i<file_list.length;i++){
         String filename=dirname+File.separator+file_list[i];
         File current_file=new File(filename); 
         if(current_file.isFile()&&filename.matches(".*\\.spl$")){
        	 runfile(current_file.getPath()); 
         }                                      
	 } 
 }