Hot: checkjambresultwithregistrationnumber