13765 x 2 ) ( 8123 .)