Of course he didn´t 13:14.6 in 1973.
All time 5000m Portuguese record
16.37,0 Aquilino de Sousa CIF Lisboa 04.05.1913
16.28,6 Albano Martins SCP Lisboa 09.08. 1922
16.20,6 José Maria Marques VJ Lisboa 14.06. 1924
15.37,0 José Marques Graça VJ Lisboa 12.07. 1925
15.29,4 Manuel Dias SCP Lisboa 14.07. 1929
15.25,8 Manuel Dias SCP Porto 26.07. 1930
15.25,0 Afonso Marques SCP Barcelona 27.07. 1946
15.25,0 Joaquim Branco CFB Lisboa 14.07. 1951
15.08,6 Filipe Luis SCP Lisboa 20.06. 1953
14.56,4 Manuel Faria SCP Lisboa 16.05. 1954
14.56,4 Júlio Silva SLB Lisboa 07.08. 1954
14.55,8 Manuel Faria SCP Berna 26.08. 1954
14.45,6 Manuel Faria SCP Lisboa 20.08. 1955
14.33,4 Manuel Faria SCP Barcelona 08.07. 1956
14.25,4 Manuel Faria SCP Lisboa 03.10. 1956
14.18,4 Manuel Faria SCP Barcelona 28.07. 1957
14.15,6 Manuel Oliveira SCP Roma 31.08. 1960
14.07,4 Manuel Oliveira SCP Hamburgo 20.09. 1962
14.00,6 Manuel Oliveira SCP Paris 12.06. 1964
13.51,4 Manuel Oliveira SCP Belgrado 01.09. 1966
13.50,8 Manuel Oliveira SCP Paris 04.07. 1968
13.50,2 Carlos Lopes SCP Madrid 29.06. 1972
13.46,8 Carlos Lopes SCP Lisboa (N) 05.08. 1972
13.42,8 Carlos Lopes SCP Lisboa (N) 28.07. 1973
13.41,4 Carlos Lopes SCP Lisboa (N) 18.08. 1973
13.34,2 Carlos Lopes SCP Lisboa (N) 22.06. 1974
13.34,2 Carlos Lopes SCP Lisboa (N) 19.07. 1975
13.33,8 Carlos Lopes SCP Zurique 20.08. 1975
13.26,8 Carlos Lopes SCP Colónia 21.05. 1976
13.24,0 Carlos Lopes SCP Saint Maur 02.06. 1976
13.21,93 Aniceto Simões CFSC Montreal 28.07.71976
13.17,78 Fernando Mamede SCP Estocolmo 04.07. 1978
13.14,6 Fernando Mamede SCP Lisboa (A) 10.06. 1982
13.07,70 António Leitão SLB Rieti 16.09. 1982
13.02,86 António Pinto MCP Zurique 12.08. 1998
post on
http://www.letsrun.com/forum/flat_read.php?thread=2375989&page=2