1017X3 ) ( 7503 .)