Rifas是一个生成带有抽奖编号的票证的程序。