<?php

function get_title($_title){
return('<title>' .$_title. '</title>');
}

function open_page($_title){
echo('<html><head>' .get_title($_title). '</head></head><body>');
}

function close_page(){
echo('</body></html>');
}

function get_session($_key){
$value = (isset($_SESSION[$_key]))? $_SESSION[$_key]: null;
return($value);
}

function set_session($_key, $_value){
$_SESSION[$_key] = $_value;
}

function destroy_session($_key){
unset($_SESSION[$_key]);
}

function redirect($_location){
header('Location: ' .$_location);
}

function get_form_post($_key){
$value = (isset($_POST[$_key]))? $_POST[$_key]: null;
return($value);
}

function get_form_get($_key){
$value = (isset($_GET[$_key]))? $_GET[$_key]: null;
return($value);}

function validate(){}
?>