function change_color()
{
		dynacolour = Math.floor(Math.random()*256*246*256);
		dynacolour = "#" + dynacolour.toString(16);
		document.bgColor=dynacolour;
}
function restore_color(colorname)
{
		if (colorname=='white') {document.bgColor='#FFFFFF';}
}