25 , 5911+12 » , $|