Prova a mettere un
echo $_GET['val'];
e vedi cosa stampa, probabilmente arriva un valore non contemplato dallo switch.