贾宝玉的小名叫宝玉，他的大名叫什么？

近日，偶听郭德纲和于谦的一段相声：郭问于：贾宝玉叫什么？于答曰：贾宝玉叫贾宝玉呀；郭曰：不对，贾家到了这一辈儿，名字都带有一个“王”字边儿，像什么贾琏、贾环，宝玉肯定是他的小名，那么他的大名叫什么呢？
郭先生的疑问似乎很在理呢。的确，在贾府这样的大家族里，起名排字是件很严肃很正式很讲究的事情，于礼于理，宝玉似乎都应该有一个带“王”字偏旁的名字呢。但是找遍全书的章章节节段段句句、阅尽全书的字里行间犄角旮旯，曹公也没有给读者一个答案。
试想，如果真要为宝玉取一个字，哪一个字最合适呢？思索良久，想到了一个字----“珏”。尔后，在百度输入“贾珏”二字，真有红迷朋友已为宝玉取得此字，看来天下红迷似乎是心有灵犀一家亲的。