function imgChange1( img ) { document.lamp1.src = img; }
function imgChange2( img ) { document.lamp2.src = img; }
function imgChange3( img ) { document.lamp3.src = img; }
function imgChange4( img ) { document.lamp4.src = img; }
function imgChange5( img ) { document.lamp5.src = img; }
function imgChange6( img ) { document.lamp6.src = img; }
function imgChange7( img ) { document.lamp7.src = img; }