function setTitle(o_title){
    document.title = o_title + " - WHUMSTC图书馆";
}
function getXMLHttpRequest(){
    var xml = null;
    try{
        xml = new XMLHttpRequest();
    }catch(ie1){
        try{
            xml = new ActiveXObject("Msxml2.XMLHTTP");
        } catch(ie2){
            xml = new ActiveXObject("Microsoft.XMLHTTP");
        }
    }
    return xml;
}
/*
function showDetails(id){
    window.open("details.php?id="+id, "details", "scrollbars=yes,status=yes,width=300,height=300");
}
*/