Denmark (Pascal)