SELECT
    Unicode::ToUint64("01238");

