/**
 * prints the code for applet parameter 'colors' if cookie is set
 **/

function getColorParam() {
    var colors = readCookie('colors');
    if (colors != null) {
	document.write('<param name="colors" value="' + colors + '"');
    }
}