function bigger(img_name,img_src) {
document[img_name].src=img_src;
}

function smaller(img_name,img_src) {
document[img_name].src=img_src;
}