6287x1 ) ( 3923 .)