1 , 3712 ).