<!--
// Reference: http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&oe=UTF-8&threadm=d990bf57.0202050816.12035ffa%40posting.google.com&rnum=3&prev=/groups%3Fq%3Djavascript%2Bbackground%2Bimage%2B%26ie%3DUTF-8%26oe%3DUTF-8%26hl%3Den%26btnG%3DGoogle%2BSearch

function switchColorIn(obj) {
	obj.style.backgroundColor='#6c92ff';
	obj.style.backgroundImage ='url(misc/bullet4_over.png)';
}

function switchColorOut(obj) {
	obj.style.backgroundColor='#0062ce';
	obj.style.backgroundImage ='url(misc/bullet4.png)';
}

function ChangeURL(url)
{
	window.location.href = url;
}

-->