// JScript File

function id(id)
{ return document.getElementById(id); }