function search(prefix, idname)
{
    var obj = document.getElementById(idname);
    window.location = prefix + obj.value;
}