function loc(val) {
	if (val != '') document.location = val;
}
function elem(name) {
	return document.getElementById(name);
}
function dwr(st) { document.write(st); }
function bgpos(v) { 
	elem('body').style.backgroundPosition = '0 '+v+'px'; 
}