// 2010.02.12 function Out=Texvalctr(N) Out='\value{'+Texctr(N)+'}'; endfunction;