var defaultimg;
function change(o) { 
if (document.getElementById) {
o.style.cursor = 'pointer';
var currentimg = document.getElementById('currentimg');
defaultimg = currentimg.src;
currentimg.src = o.src;
}
}
function restore () {
if (document.getElementById) {
var currentimg = document.getElementById('currentimg');
currentimg.src = defaultimg;
}
}