function yymmdd_date: string8;   {format: yy-mm-dd}