format the system