23427 X * 7 .)