// JavaScript Document
popBoxWaitImage.src = "spinner40.gif";
popBoxRevertImage = "magminus.gif";
popBoxPopImage = "magplus.gif";