document.write('<STYLE TYPE="text/css">');
document.write('</style>');
document.write('<SCRIPT>');
document.write('function change_img(source,index) {');
document.write('document.images[index+3].src = source;');
document.write('}');
document.write('</SCRIPT>');
document.write('</style>');