Facil, simplemente con macromedia flash o con swf descompiler cuando editas un menu, te dice los pixeles ( o sea la resolucion).