4254 * 2 ) C.