void width(text [, text_length]);