if (document.images) {

	pubon = new Image();
	pubon.src = "pictures/S-pub2.jpg";
	puboff = new Image();
	puboff.src = "pictures/S-pub.jpg ";

}