X31に搭載のATI MOBILITY RADEONの型番は何よ？(;´Д`)9000?

http://www-6.ibm.com/jp/pc/thinkpad/tpx3133/tpx3133s.html