<?php

function tep_db_input($string) {
    return mysql_real_escape_string($string);
}

function db_prepare_input($string) {
    if (is_string($string)){
    return trim(stripslashes($string));
    } else {
    return $string;
    }
}

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

function db_insert_id() {
    return mysql_insert_id();
    }