Thousandth of an inch.