/*SubstringPrinter*/
function writeShorterString(ms,mm){
	myString = ms;
	myMax=mm; 
	myLength=myString.length;
	if (myLength>myMax){
		myString=myString.substring(0,myMax)+"...";
	} 
	 document.write(myString);  
	 }