( 5727 ) ( 0.14411x1)