// JavaScript Document
function $(id) { return document.getElementById(id); }

var menuid = 0;
function menu(id) { $('biao'+menuid).className="normal"; menuid = id; $('biao'+id).className="active"; }
function dmenu(id) { }