/*
	Only for IE, Opera
*/

function copyToClipboard(c) {
	var s = c.value;

	if( window.clipboardData && clipboardData.setData )
	{
		clipboardData.setData("Text", s);
	}
	/*
	else
	{
		// code for mozilla
	}
	*/
}   // end of function