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

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

function $$$(id,v){
	return document.getElementById(id).innerHTML=v;
}