// navigation row for  Cincinnati Tool Co

//	V 2002 Mar 27

var Start	= ' <p class="navmid"> '
var Name	= 'Cincinnati Tool Co: '
var Close 	= ' </p> '

var GRFX	= ' [ <a href="grfx_ctc.htm" '
//	next line may need to be updated, from time to time
GRFX		+= ' title="0K graphics associated with Cincinnati Tool Co "> '
GRFX		+= ' No Graphics </a> ] '


var PTNT	= ' [ <a href="ptnt_ctc.htm" '
//	next line may need to be updated, from time to time
PTNT		+= ' title="0K of drawings and text of patents used by Cincinnati Tool Co "> '
PTNT		+= ' No Patents </a> ] '

var HIST	= ' History [ <a href="hist_ctc.htm" title="long history of Cincinnati Tool Co "> Long </a> ] '
HIST		+= ' [ <a href="stat_oh.htm#OH_CTC" title="short history of Cincinnati Tool Co "> Short </a> ] '

document.write( Start+Name+GRFX+PTNT+HIST+Close );