function Switch(myid) {
	var obj;
	obj = document.getElementById(myid);

	if (obj.style.display == "")
		obj.style.display = "none";
	else
		obj.style.display = "";
}	

function Border_color(color) {
	var obj;
	obj = document.getElementById('main_div');

	if (color == "blue")
		obj.className='border_blue';
	else if (color == "red")
		obj.className='border_red';
	else 
		obj.className='border_new';
}	

function initialize() {
	flash=document.js_to_flash;
}