8980x1 ) ( 5034 .\