— BANGKOK den 31 Juli.