dbtimestamp — Inserts a date timestamp
<?dbtimestamp?> PI at any point in a
source document to cause a date timestamp (a formatted
string representing the current date and time) to be
inserted in output of the document.
Specifies format in which the date and time are output
For details of the content of the format string, see Date and time.
Specifies padding behavior; if non-zero, padding is is added