Singapore stock market for week ending 17/05/2023