Definitivamente son plantillas lo puedes averiguar facil al buscar en google partes de su codigo fuente yo use el flash..
y mira..
http://www.gaisa.com.mx http://www.financash.com.ar/ http://www.redlincoln.com/
hice la busqueda con
flash/0807-menu.swf
luego.. seguramente las otras 2 son lo mismo :)