(C25XE Y X25XE)