Pins 9 & 10 - ATmega328, ATmega128, ATmega640, ATmega8, Uno, Leonardo, etc.
Pins 11 & 12 - ATmega2560/2561, ATmega1280/1281, Mega
Ping 12 & 13 - ATmega1284P, ATmega644
Pins 14 & 15 - Teensy 2.
Pins 25 & 26 - Teensy++ 2.0
12 & 13 - how defined? My Bobuino uses 12 & 13 for SPI - no reason you can't use them for other stuff when D10 is not asserted for SD access. All pins are on the headers.