<?php
$_SESSION [ 'user_id' ] = NULL;
header ( "Location: " . substr ( $_SERVER [ 'SCRIPT_NAME' ], 0, -10 ) . "/" );