The code for textinfo 5.0