9 , 512 : 40;