5 1 , 612 .)