document.write('

'); try{if(topmenuid>0){document.getElementById("topmenu"+topmenuid).className="topmenu topcurrent";}}catch(e){}