4302x1 ) ( 4894 .)