stack overflow 2013 Apr 30—Convert to a [hhmmss-Type Integer to a] SAS Time - (SO) Complete tag listing