function nbsp($str) { return str_replace(" "," ",$str);; } function url1_param($parameter) { global $HTTP_GET_VARS; if(isset($HTTP_GET_VARS[$parameter])) { return "$parameter=".$HTTP_GET_VARS[$parameter]; } else { return ""; } } function url_param($parameter) { global $HTTP_GET_VARS; if(isset($HTTP_GET_VARS[$parameter])) { return "&$parameter=".$HTTP_GET_VARS[$parameter]; } else { return ""; } } function table_td($text,$attr) { echo "