function butTLon() {document.butTL.src="images/onBus.gif"};
function butTLoff() {document.butTL.src="images/offBus.gif"};
function butTRon() {document.butTR.src="images/onRes.gif"};
function butTRoff() {document.butTR.src="images/offRes.gif"};
function butBLon() {document.butBL.src="images/onSem.gif"};
function butBLoff() {document.butBL.src="images/offSem.gif"};
function butBRon() {document.butBR.src="images/onPub.gif"};
function butBRoff() {document.butBR.src="images/offPub.gif"};