#2257 for Singapore