datef() and matches()