// javascript document
//mm_swapimage('image11','','../images/an1_1.jpg',1)
document.getelementbyid("image12").src = "images/an_3.jpg";