نام اصلی حضرت مهدی

با سلام
در دعاي توسل امام حسن عسگري را خطاب مي كنيم يا ابا محمد
ولي شنيدم كه تا زمانيكه امام زمان ظهور نكرده اند نبايد اسم اصلي ايشون را به زبان بياريم ؟!

با توجه به لینک:::: http://www.askdin.com/thread18286.html:::

فتوای مراحع کنونی درباره اینکه آیا بردن نام اصلی حضرت مهدی (م ح م د) حرام است یا خیر را بیان نمایید؟
مرجع:امام خامنه ای
اگر امکان دارد قتوای سایر مراجع هم ذکر شود.