var dropboxleft=200 //set left position of box (in px)
//var dropboxtop=350 //set top position of box (in px)
var dropspeed=50 //set speed of drop animation (larger=faster)
var ie=document.all
var dom=document.getElementById
function initbox(){
if (!dom&&!ie)
return
crossboxcover=(dom)?document.getElementById("dropinboxcover") : document.all.dropinboxcover
crossbox=(dom)?document.getElementById("dropinbox"): document.all.dropinbox
refpos=(dom)?document.getElementById("pos_search"): document.all.pos_search
dropboxtop = refpos.offsetTop -50
scroll_top=(ie)? truebody().scrollTop : window.pageYOffset
crossbox.height=crossbox.offsetHeight
crossboxcover.style.height=parseInt(crossbox.height)+"px"
crossbox.style.top=crossbox.height*(-1)+"px"
crossboxcover.style.left=dropboxleft+"px"
crossboxcover.style.top=dropboxtop+"px"
crossboxcover.style.visibility=(dom||ie)? "visible" : "show"
dropstart=setInterval("dropin()",50)
}
function dropin(){
scroll_top=(ie)? truebody().scrollTop : window.pageYOffset
if (parseInt(crossbox.style.top)<0){
crossboxcover.style.top=scroll_top+dropboxtop+"px"
crossbox.style.top=parseInt(crossbox.style.top)+dropspeed+"px"
}
else{
clearInterval(dropstart)
crossbox.style.top=0
}
}
function dismissbox(){
if (window.dropstart) clearInterval(dropstart)
crossboxcover.style.visibility="hidden"
}
function truebody(){
return (document.compatMode && document.compatMode!="BackCompat")? document.documentElement : document.body
}