// JavaScript Document
image13 = new Image();
image13.src = "images/computational_services_act.gif";
image14 = new Image();
image14.src =  "images/synthesis_act.gif";
image15 = new Image();
image15.src =  "images/slide_show_act.gif";