9504 x t .)