($READTIME, $WRITETIME) = (stat($filename))[8,9];