
/****************************************************************************
Print Friendly - Start
*/
<!-- 
function viewprint() {
// V1.1
var tag1 = "start" + "view";
var tag2 = "end" + "view";
var postag1 = 0;
var postag2 = 0;
var corps = "";
var theader = "";
// var ico = '<a href="javascript:window.print();" style="text-align: right">Print</a>' becomes...
var ico = '<a href="javascript:printnow();" style="float: right; font-family: Arial; font-size: 12px; text-decoration: none; color: #000;"><img src="/dav_portal/portal/ITC_ASSETS/Footer/print_icon.gif" style="margin: 0px 3px 0px 0px" border="0"> Print</a>';
// this too...
var logo = '<a href="http://portal.itconvergence.com/portal/page?_pageid=33,1&_dad=portal&_schema=PORTAL" style="float: left; margin: 0px 0px 20px 0px;"><img src="/dav_portal/portal/ITC_ASSETS/Banner/itc_logo.jpg" border="0"></a>';

var win_opt= "toolbar=0,location=0,directories=0,status=0,menubar=0,";
win_opt += "scrollbars=1,resizable=0,copyhistory=0,width=750",height=800;
// Create a new window
NewWindow= window.open("","Title",win_opt);
NewWindow.creator= self;
// Nestcape doesn't support outerHTML property
// specific DIV startview can't be used because it spans accross others tags
// due to the way that Portal manages regions rendering
// Get the head in order to retrieve css links
theader = document.getElementsByTagName("head")[0].innerHTML;
corps = document.body.innerHTML;
// Looks for delimiters
postag1 = corps.indexOf(tag1) + 16;
postag2 = corps.indexOf(tag2) - 9;
// extracts useful part
corps = corps.substring(postag1,postag2);
// displays in another window
NewWindow.document.open();
NewWindow.document.write("<HTML><HEAD>");
NewWindow.document.write(theader);
//NewWindow.document.write("</HEAD><BODY>"+ico + "<BR>"); becomes
NewWindow.document.write("</HEAD><BODY>"+ logo+ ico + "<BR>");
NewWindow.document.write(corps);
NewWindow.document.write("</BODY></HTML>");
NewWindow.history.go(0);
}
function printnow() {
	window.print();  
}
/*
Print Friendly - End
*****************************************************************/




/*****************************************************************
Random Main Picture - Start     NOT BEING USED - ANYMATED GIF IS WORKING BETTER
*/

 //Image Widget Randomizer - INI ------------------------------------------ 

 // start config 
 var Widget = new Array();
 // Each Widget array item should have a photo and a comment
 Widget[0] = ["home_1.gif"];
 Widget[1] = ["home_2.gif"];
 Widget[2] = ["home_3.gif"];
 Widget[3] = ["home_4.gif"];
 // end config
 
 function GenerateWidget(image,base) {
  var WhichWidget = RandomNumber(Widget.length);
  document.images[image].src = base + Widget[WhichWidget];
 }
 
 function RandomNumber(limit){
  return Math.floor(Math.random()*limit);
 }
 //Image Widget Randomizer - END ------------------------------------------

// fin du masquage du script -->

/*
Random Main Picture - End     NOT BEING USED - ANYMATED GIF IS WORKING BETTER
********************************************************************/
