dest t. Batavia ; ( 13 Nov .)