int screen_height_mm();