George wants to apply the time number format to time entered in a cell as ’11:30′. Which of the following options, when chosen as X, will help him to do? Ctrl+1 < Category < X < Type < 13:30?