13271 ) ( 1980)