10001 ) ( 6032 .)