Does formatting a hard drive helps remove a virus?​