What's the meaning of " : 1" in irule-redirect HTTP to HTTPs

Hello all!   I have a doubt about a parameter on the irule below:   when HTTP_REQUEST { HTTP::redirect https://[getfield [HTTP::host] ":" 1][HTTP::uri] }   Why the two points following...