JR西日本の電気機関車だったらEF65になるのか。