// JavaScript Document


function RunSpring()
{
    document.write('<embed src="spring.dcr" width="500" height="475">\n');
	document.write('</embed>\n');
}