function search_submit(o,space)
{
var v = o.value;

if(v==space||v=="")
{
	o.focus();
	o.select();
}
else
{
	o.form.submit();
}
}
function $G(id){
    return document.getElementById(id);
}
function $F(id){
    return $G(id).value;
}