if (document.images) {
sf_on = new Image();	sf_on.src = view_path+"images/school_mapSF.jpg";
sf_off = new Image();	sf_off.src = view_path+"images/school_map.jpg";
}