the Malaysian town with the same name, see Senai.