function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.gif','r.gif');
}
   
function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('r.gif','.gif');
}

function go_model(){
	if (document.s1.select1.options[document.s1.select1.selectedIndex].value != "none") 
		location = document.s1.select1.options[document.s1.select1.selectedIndex].value;
}