// JavaScript Document
window.onload = function() {
	if (document.getElementById('graphicmenu') != null)
		document.getElementById('graphicmenu').style.display = "block";
}