yeah definitely depends on the budget. I don't know what yours is , but a pair of u87s always do the trick. on a little tighter budget however try a pair of mojavi audio MA-100s they run like 1500 per pair. I've been really impressed with the mojavi line(props to david royer) and the MA-100s are no different. SD condensers with military grade tubes and interchangable cardioid and omni capsules.....Yeah!
414's are ok of course. if you have some money, get mkh40's (sennheiser). if you don't have that much money Neumann km184's will sound great, too. dpa 4011's come to mind, too. there's a lot of choices, really...!
I use a pair of EV RE200s (SDC) or TLM193s (LDC)for stereo, and a KSM44 in omni for mono overhead. I have also used a pair of SM57s (stereo) and an EV RE27 (mono) as overheads in a pinch. The RE27 sounded as good as many condensers too!
I've been wanting a matched pair of Oktava MC012s with the extra capsules for a long time, and only wish I could afford a matched pair of Schoeps pencil mics...
If you really have no budget, hell even if you have a huge budget, the Kel HM-1's are really sweet on overheads. I've been using mine for a few years now and have felt no need to change. They add meat to the kit and do great things for the cymbals because they lack the top end boost so many mics have