Igualmente, dado que 80 es el puerto por defecto para HTTP, usualmente no se especifica.