Japan's Nikkei average hits record high, topping 42,000 on Wall Street ...