6243X3 . ) ( 3716 .)