( 13 , ^0)