Tokyo 's Nikkei index lost 85 points , to finish at 13.857 .