function flush_dev($dev) {system('/sbin/blockdev --flushbufs '.$dev);}