function load_workaround() {

//
	if (Cookie.read('menu_button') == null) 
		Cookie.write('menu_button', -1, {path: "/"});
		
// Indien in het hoofdmenu gekozen wordt voor behang, dan wordt na uitvoering 
// van het wayfinder-commando de ***-off.gif getoond ipv de ***-on.gif.
// Check daarom op submenu-behang bestaat. Zo ja, vervang dan ***behang-off.gif
// door ***behang-on.gif.
//


	if ($chk($('submenu_behang'))) {
		var menu_button_id	=	'menu_button_id5';
		var menu_button_gif	=	'/assets/images/Hoofdmenu/btn-behang-on.gif';
		$(menu_button_id).set('src', menu_button_gif);
	}

// Indien op de productpagina aangeland, dan wordt de active menu-optie
// in het hoofdmenu niet correct weergegeven. (off.gif ipv on.gif). 
// Daarom indien op de productpagina, lees cookies met actieve id + on.gif.
// Vervang off.gif door on.gif.
//
	if ($chk($('product-header')))	  {

				var current = Cookie.read('menu_button');
				var prod_id = current.split('|');
				var menu_button_id	=	 (prod_id[0]);	
				var menu_button_gif	=	 (prod_id[1]);				
				$(menu_button_id).set('src', menu_button_gif);
			}
			

// Selecteer alle img's uit hoofdmenu en zet deze in een array.
// Doorloop array, wanneer een on.gif wordt gevonden zet dan id 
// en .gif in een cookie.

	var myArray = $('menu').getElements('img');
	myArray.each(chkMenugifs);	
	
	function chkMenugifs(item) {

		// Zet id en gif van actieve menu-button uit array in variabelen.	
		var menu_button_gif 	= item.get('src');

		// Test of naam gif uit array eindigt op on.gif
		var gif_on = menu_button_gif.test('on.gif');

		// -on.gif gevonden?
		if (gif_on == true) {
			var menu_button_id 		= item.get('id');
      new_current = menu_button_id + '|' + menu_button_gif;
			Cookie.write('menu_button', new_current, {path: "/"});

		}
	}

}