IRCTC shares more than double on debut, close above ₹728 | Sharefundss