A total of 4012