( ( 1.23888.2 .)