5 11 , 612 .)