beq $t0,$s1,12