function view_map($num){

document.getElementById('mapbg').style.backgroundImage='url(images/uk'+$num+'.gif)';

}