/**    
* bug to fix: Flickering CSS Background Images in IE6    
* conditions: when IE’s cache settings are “Every visit to the page” (a common developer’s setting)    
*/    
if (/*@cc_on @_jscript_version === 5.6 || @*/false) {     
try {     
document.execCommand("BackgroundImageCache", false, true);     
} catch(err) {}     
}


function $(id) {
	return document.getElementById(id);
}
var tID=0;
function show_menu(ID) {
  if(ID!=tID) {
    $('menu_cont_'+ID).className = 'show';
    $('menu_cont_'+tID).className = 'hidden';
    tID=ID;
  }else{
    $('menu_cont_'+ID).className = 'show';
  }
}