private File forres(String nm) {
	File res = base;
	String[] comp = nm.split("/");
	for(int i = 0; i < comp.length - 1; i++) {
	    res = new File(res, comp[i]);
	}
	return(new File(res, comp[comp.length - 1] + ".cached"));
    }