13) $tipo = ".jpg"; else $tipo = ".gif"; $imagen = "imagenes/encabezado".$numero.$tipo; echo "" ?>