( 13 , 011 .)