sed -ff;dd>f