function main(){}

function $(str){
	return document.getElementById(str);
	
}