// JavaScript Document
// generic onload event to initialize where menu is placed
// in some files, this is overwritten in the header content
window.onload=new Function("P7_initPM(0,0,0,-10,2);");