function gif_over(img) {
	img.src=img.src.replace('.gif','Sel.gif');
} 
function gif_out(img) {
	img.src=img.src.replace('Sel.gif','.gif');
}

function jpg_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.jpg','Sel.jpg');
} 
function jpg_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('Sel.jpg','.jpg');
}