var i = "off";
function pinout(){
	document.pin.src = "/img/pin_" + i + ".gif";
}
function pinover(){
	document.pin.src = "/img/pin_on.gif";
}
function change()
{
	document.pin.src = "/img/pin_on.gif";
	i = "on";
}