awk print hdd_size as int