12 30 * ) , 1 , 1 , 80 * ).