grep ^12 /etc/debian_version && exit