Dutch15-index 13,900.73   +16.01 +0.12%