// JScript File
// use $('image1') instead of document.getElementById('image1');
function $(id) { return document.getElementById(id);}