/* The combiner file ''+G.emptyGif+'' is not found. */