17257 x 2 ) ( 3998 .)