Brunei den 17 middagstiden.