( 13 o 9)