function swap_image(elementID,image){var element=document.getElementById(elementID);element.src=image;}
function string_replace(value){temp=value.toLowerCase();while(temp.indexOf(' ')!=-1){temp=temp.replace(/ /,"-");}
while(temp.indexOf('.')!=-1){temp=temp.replace(/\./,"");}
while(temp.indexOf("'")!=-1){temp=temp.replace(/'/,"");}
while(temp.indexOf('&')!=-1){temp=temp.replace(/&/,"and");}
while(temp.indexOf(',')!=-1){temp=temp.replace(/\,/,"");}
while(temp.indexOf('(')!=-1){temp=temp.replace(/\(/,"");}
while(temp.indexOf(')')!=-1){temp=temp.replace(/\)/,"");}
return temp;}