Tengo que convertir "dd/MMM/yy" a "YYYYmmdd".

Input = dd/MMM/yy

Output = YYYYmmdd

ejemplo

Input = 13/Jun/23

Output = 20230613

He usado lo siguiente, pero obtengo 1923 como año y necesito 2023.

$ZDATE($ZDATEH("13/Jun/23",8),8) = 19230613