{ cat <<EOF; }; echo Ok2 Ok1 EOF