( 12 3-dubbla r .)