function $clear(timer) { clearTimeout(timer); clearInterval(timer); } function $preload(path, width, height) { if (document.images) { var img = new Image(width, height); img.src = path; } } function include(file) { document.write('