added <timestamp> option