// All rights reserved
// v0 080404 PV, Sea Pebble Ltd

// adds class to element, if element exists. Intersperses a space character between any existing class name.
function addClass2Element (className, elementId) {
	if ( document.getElementById && document.createTextNode ) {
    var pClass = document.getElementById ( elementId ) ;
    if ( pClass ) {
	    pClass.className += pClass.className ? ' ' + className : className ;
    }
	}
}