function $(id)
{
 return document.getElementById(id);
}
//-----------------------------------------------------------------------------
function toggle(id)
{
 var el=$(id);
 
 if (el.style.display=='none') el.style.display=''; 
 else                          el.style.display='none'; 
}
//-----------------------------------------------------------------------------
Array.prototype.inArray=function(value) 
{
 for (var i=0; i < this.length; i++) 
 {
  if (this[i]===value) 
   return true;
 }
 return false;
};