recnum int to uuid