add 9-20: use gzip