switch (@$_GET['view']) {
    default:
        $_GET['view'] = 'calendar_year';
    // no break
    case 'calendar_year':