/**
 * Changes the mouse over state of the specified button.
 * 
 * @param the image/button for which to change the state.
 * @param the name of the state to set the button to.
 * @return true
 */
function button_state(button, state)
{
	button.src = button.src.replace(/_(on|off)/, "_" + state);
	
	return true;
}



/**
 * Preloads the images needed for the menu bar.
 * 
 * @param for which language to load the images.
 * @return true
 */
function preload_menu_images(for_lang)
{
	var menu = new Array(12);
	
	for (i = 0; i < menu.length / 2; i++)
	{
		menu[i * 2] = new Image();
		menu[(i* 2) + 1] = new Image();
		menu[i * 2].src = "btn" + (i + 1) + "_" + for_lang + "_off.gif";
		menu[(i * 2) + 1].src = "btn" + (i + 1) + "_" + for_lang + "_on.gif";
	}
	
	return true;
}