function changemenu(menu,onoff) {
	document['menu' + menu].src = 'images/menu-' + menu + onoff + '.gif';
}

function changesubmenu(menu,submenu,onoff) {
	document[menu + submenu].src = 'images/' + menu + '-' + submenu + onoff + '.gif';
}

function changethumbs(type,thumb,onoff) {
	document['thumb' + thumb].src = 'images/' + type + '/thumb' + thumb + '_' + onoff + '.gif';
}