function textsize(newsize) {
if (document.getElementById) {
var b=parseInt(newsize)
if (b<5) {
document.getElementById('bodysel').style.fontSize="1."+b+"em"
}
return false;
} else {
return true;
}}

function change_img(id) {
if (document.getElementById) {
var area_name="img";
document.getElementById('photo').src="images/photos/"+area_name+id+".jpg";
return false
} else {
return true
}}