set $[++b%73?{1..999}:73];history -p ${@/*73*}