avr-gcc 4.7.2

What is the Arduino IDE using now? Just curious.