// JavaScript Document
function myChgPic(map_id){
   document.images["myBigImage"].src = 'images/top_'+map_id+'.gif';
}