<!--
if (document.images) {
  m_01b=new Image(24,64)
  m_01b.src="./include/khf_mb2_home.gif"
  m_02b=new Image(24,92)
  m_02b.src="./include/khf_mb2_keypoints.gif"
  m_03b=new Image(24,157)
  m_03b.src="./include/khf_mb2_manual.gif"
  m_04b=new Image(28,116)
  m_04b.src="./include/khf_mb2_contact.gif"
} else {
  m_01b=""
  document.menu01=""
  m_02b=""
  document.menu02=""
  m_03b=""
  document.menu03=""
  m_04b=""
  document.menu04=""
}
// -->