13431x3 ] ( 7376 .)