// JScript 文件
function $(divid)
{
  return document.getElementById(divid)
}