//ImageChange

var image1="./img/f1s_img.gif";
var image2="./img/f2s_img.gif";
var image3="./img/f3s_img.gif";
var image9="./img/f9s_img.gif";
var image13="./img/f13s_img.gif";

onload = function(){
	resetImage();
}

function swapImage1(){document.getElementById("floorImage").src=image1;}
function swapImage2(){document.getElementById("floorImage").src=image2;}
function swapImage3(){document.getElementById("floorImage").src=image3;}
function swapImage9(){document.getElementById("floorImage").src=image9;}
function swapImage13(){document.getElementById("floorImage").src=image13;}
function resetImage(){document.getElementById("floorImage").src="./img/fs_img.gif";}