History util/shortf.pl