This is how you do it on smaller models, I will assume it's the same on the 12000.
Make sure the switches have different domain IDs. You can easily check the Domain ID in the webtools or with the "switchshow" command. If they have the same Domain ID, you must take the switch offline with "switchdisable", and go into configuration mode with "configure". Configure Fabric parameters and enter the new Domain ID. Just go through the other options unchanged and when you're by the prompt again enable the switch with "switchenable".
Now that you have two switches with different domain IDs just plug in a cable between two ports, doesn't matter which ones. The ISL should establish itself automatically.
/charles