x2 ) ( 3817)