set +o history
echo -n "size : ";
history | tail -1000 | cut -b 8- | sort | uniq | gzip -c | wc -c;
set -o history