$int
=
10
$contents
=
'1998-08-01'
#1
|
vprintf
|
("%04d-%02d-%02d", |