"Dutch East Indies. Shore leave."