screen_width_mm

int screen_width_mm();