int width