( 5934 , 128)