// JavaScript Document

function $(element)

{

	return document.getElementById?document.getElementById(element):document.all.element;

}