// JavaScript Document

function dim_header(value)
{

document.getElementById(header).style.opacity = value/10;
document.getElementById(header).style.filter = 'alpha(opacity=' + value*10 + ') ' ;

}

function show_norman()
{
	
	document.getElementById(video_screen).innerHTML= <?php include 'normanbaker_icon.php' ?>;
}