OK; I see. That was just some spontaneous idea...