function javamove(){
	timer=setInterval("moveobj()", 55);
}
$ref=0;
function moveobj(){
	$ref--;
	tobject=document.getElementById('pub');
	newmargin=parseInt(tobject.style.marginLeft)-1;
	if(newmargin>4){
		tobject.style.marginLeft=newmargin+'px';
	}
	document.getElementById('pubdiv').style.backgroundPosition = $ref+'px '+$ref+'px';
}