// menu-toggle.js: menu-toggle code for pearleditions.com
// version 1.0, 13-Jun-2006
// written by Scott Sharkey <ssharkey@linuxunlimited.com> All Rights Reserved.

window.onload=togglemenu;
function togglemenu(id,img) {
var d = document.getElementById(id);
var image = new Image();

    image.src = "/img/" + img; 
    if (d) {
        d.src = image.src;
	}
    }