void write_total();