# this is a sed script