function retrace()
	{location.replace("index.php?catalog");}
function ref(r)
	{location.replace("index.php?catalog&prod="+r);}