3903x1 ) ( 2523 .)