<?php switch (42) { default: neverExecuted(); break; case '12': echo "wha?"; default: echo "OK!"; }
You have javascript disabled. You will not be able to edit any code.