function roll_in(file){
	document.worldmap.src = "../pub/img/" + file + ".gif";
}
function roll_out(){
	document.worldmap.src = "../pub/img/worldmap.gif";
}