var oldonload=window.onload;
if(typeof(oldonload)=='function')
    window.onload=function()
	{
		oldonload();
		P7_initPM(1,0,1,-20,10)
	};
else window.onload=function() {
		P7_initPM(1,0,1,-20,10)
};