function getoffsettop (el, p) {
    var _t = el.offsettop;
    while (el = el.offsetparent) {
        if (el == p) break;
        _t += el.offsettop;
    }

    return _t;
};
function getoffsetleft (el, p) {
    var _l = el.offsetleft;
    while (el = el.offsetparent) {
        if (el == p) break;
        _l += el.offsetleft;
    }

    return _l;
};
var tt;
var curmenu;
function mouseover (th, menu) {
    if (tt) cleartimeout(tt);
    displaymenu(false);
    menu = document.getelementbyid('menu' + menu);

    menu.style.left = getoffsetleft(th) + 'px';
    menu.style.top = getoffsettop(th) + th.offsetheight + 'px';

    curmenu = menu;
    displaymenu(true);
}
function mouseout () {
    tt = settimeout('displaymenu(false)', 200);
}
function _mouseover () {
    if (tt) cleartimeout(tt);
    displaymenu(true);
}
function _mouseout () {
    displaymenu(false);
}
function displaymenu (display) {
    if (curmenu) {
        curmenu.style.display = display ? 'block' : 'none';
    }
}
function dozoom(size){
	document.getelementbyid('textbody').style.fontsize=size+'px'
}