12 , 80 , 2 * * * ).