11726x47 ) ( 1042;