<?php
	user_logout();
	echo('You have been logged out');
?>