function previewColor ($r,$g,$b) {
	document.getElementById("theimage").setAttribute("style","background-color: rgb(" + $r + ", " + $g + ", " + $b+ ");");
}

function setFocus() {
	if (document.main && document.main.url) {
		document.main.url.focus();
	}
}