0 , 3712 ).